iters=5 new-facts=1 prior-facts=1 | | mean | 285.411-285.678=-0.267 | | σ | 0.013-0.016=-0.003 | | min | 285.398-285.653=-0.255 | | max | 285.424-285.695=-0.271 |
| | mean | 1639.000-1598.000=41.000 | | σ | 0.000 | | min | 1639.000-1598.000=41.000 | | max | 1639.000-1598.000=41.000 |
| | mean | 0.378-0.377=0.001 | | σ | 0.009-0.003=0.006 | | min | 0.368-0.373=-0.005 | | max | 0.388-0.382=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.368-1285.637=-0.270 | | σ | 0.129-0.133=-0.003 | | min | 1285.305-1285.575=-0.270 | | max | 1285.599-1285.875=-0.276 |
| | mean | 1639.000-1598.000=41.000 | | σ | 0.000 | | min | 1639.000-1598.000=41.000 | | max | 1639.000-1598.000=41.000 |
| | mean | 1.867-1.871=-0.003 | | σ | 0.090-0.073=0.017 | | min | 1.804-1.821=-0.016 | | max | 2.013-1.999=0.014 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.718-1807.980=-0.262 | | σ | 6.960-7.028=-0.067 | | min | 1804.353-1804.610=-0.258 | | max | 1820.152-1820.536=-0.384 |
| | mean | 1639.000-1598.000=41.000 | | σ | 0.000 | | min | 1639.000-1598.000=41.000 | | max | 1639.000-1598.000=41.000 |
| | mean | 4.197-4.208=-0.011 | | σ | 0.179-0.196=-0.016 | | min | 4.027-3.956=0.071 | | max | 4.421-4.495=-0.073 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.197-2070.463=-0.266 | | σ | 0.009-0.010=-0.001 | | min | 2070.189-2070.449=-0.260 | | max | 2070.213-2070.476=-0.263 |
| | mean | 1878.600-1858.400=20.200 | | σ | 227.992-209.716=18.276 | | min | 1639.000-1598.000=41.000 | | max | 2180.000-2089.000=91.000 |
| | mean | 4.504-4.490=0.014 | | σ | 0.084-0.074=0.010 | | min | 4.432-4.429=0.003 | | max | 4.642-4.608=0.034 |
|