iters=5 new-facts=1 prior-facts=1 | | mean | 285.411-324.697=-39.285 | | σ | 0.013-0.037=-0.023 | | min | 285.389-324.631=-39.242 | | max | 285.425-324.717=-39.292 |
| | mean | 1644.000-2810.000=-1166.000 | | σ | 0.000 | | min | 1644.000-2810.000=-1166.000 | | max | 1644.000-2810.000=-1166.000 |
| | mean | 0.376-0.427=-0.051 | | σ | 0.007-0.007=0.000 | | min | 0.372-0.422=-0.050 | | max | 0.388-0.439=-0.051 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.368-1985.249=-699.881 | | σ | 0.125-0.015=0.110 | | min | 1285.309-1985.230=-699.921 | | max | 1285.592-1985.263=-699.671 |
| | mean | 1644.000-2810.000=-1166.000 | | σ | 0.000 | | min | 1644.000-2810.000=-1166.000 | | max | 1644.000-2810.000=-1166.000 |
| | mean | 2.025-2.639=-0.614 | | σ | 0.219-0.163=0.056 | | min | 1.815-2.392=-0.577 | | max | 2.364-2.824=-0.461 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.714-4808.888=-3001.173 | | σ | 6.985-7.639=-0.654 | | min | 1804.359-4805.391=-3001.032 | | max | 1820.192-4822.551=-3002.359 |
| | mean | 1644.000-2810.000=-1166.000 | | σ | 0.000 | | min | 1644.000-2810.000=-1166.000 | | max | 1644.000-2810.000=-1166.000 |
| | mean | 4.186-8.796=-4.610 | | σ | 0.167-0.485=-0.318 | | min | 3.972-8.045=-4.073 | | max | 4.402-9.393=-4.991 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.196-4996.384=-2926.189 | | σ | 0.010-0.150=-0.140 | | min | 2070.184-4996.117=-2925.933 | | max | 2070.210-4996.468=-2926.257 |
| | mean | 1843.000-3016.400=-1173.400 | | σ | 170.419-272.625=-102.206 | | min | 1644.000-2810.000=-1166.000 | | max | 2081.000-3443.000=-1362.000 |
| | mean | 4.473-8.493=-4.020 | | σ | 0.030-0.018=0.012 | | min | 4.424-8.475=-4.051 | | max | 4.500-8.518=-4.019 |
|