iters=5 new-facts=1 prior-facts=1 | | mean | 284.699-284.693=0.006 | | σ | 0.031-0.036=-0.006 | | min | 284.670-284.653=0.017 | | max | 284.737-284.738=-0.001 |
| | mean | 1643.000-1638.000=5.000 | | σ | 0.000 | | min | 1643.000-1638.000=5.000 | | max | 1643.000-1638.000=5.000 |
| | mean | 0.396-0.397=-0.001 | | σ | 0.009-0.009=0.000 | | min | 0.385-0.385=0.001 | | max | 0.405-0.404=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.077-1295.079=-0.002 | | σ | 0.110-0.108=0.002 | | min | 1294.960-1294.960=0.000 | | max | 1295.214-1295.226=-0.012 |
| | mean | 1643.000-1638.000=5.000 | | σ | 0.000 | | min | 1643.000-1638.000=5.000 | | max | 1643.000-1638.000=5.000 |
| | mean | 1.901-1.932=-0.031 | | σ | 0.090-0.088=0.002 | | min | 1.805-1.830=-0.025 | | max | 2.005-2.040=-0.034 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.187-1539.208=-0.021 | | σ | 6.840-6.852=-0.011 | | min | 1535.916-1535.921=-0.005 | | max | 1551.420-1551.461=-0.041 |
| | mean | 1643.000-1638.000=5.000 | | σ | 0.000 | | min | 1643.000-1638.000=5.000 | | max | 1643.000-1638.000=5.000 |
| | mean | 2.263-2.203=0.060 | | σ | 0.261-0.224=0.037 | | min | 2.031-2.029=0.002 | | max | 2.668-2.588=0.079 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1856.984-1856.980=0.005 | | σ | 0.055-0.059=-0.004 | | min | 1856.930-1856.931=-0.001 | | max | 1857.059-1857.065=-0.005 |
| | mean | 1775.400-1779.800=-4.400 | | σ | 130.178-123.864=6.314 | | min | 1643.000-1638.000=5.000 | | max | 1908.000-1898.000=10.000 |
| | mean | 3.076-2.904=0.172 | | σ | 0.206-0.057=0.149 | | min | 2.850-2.853=-0.003 | | max | 3.366-2.994=0.371 |
|