iters=5 new-facts=1 prior-facts=1 | | mean | 324.761-324.766=-0.005 | | σ | 0.043-0.048=-0.004 | | min | 324.684-324.681=0.003 | | max | 324.790-324.793=-0.003 |
| | mean | 2840.000-2690.000=150.000 | | σ | 0.000 | | min | 2840.000-2690.000=150.000 | | max | 2840.000-2690.000=150.000 |
| | mean | 0.417-0.427=-0.010 | | σ | 0.002-0.010=-0.008 | | min | 0.416-0.420=-0.004 | | max | 0.420-0.445=-0.025 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.313-1985.317=-0.004 | | σ | 0.015-0.020=-0.005 | | min | 1985.292-1985.284=0.008 | | max | 1985.334-1985.332=0.002 |
| | mean | 2840.000-2690.000=150.000 | | σ | 0.000 | | min | 2840.000-2690.000=150.000 | | max | 2840.000-2690.000=150.000 |
| | mean | 2.636-2.617=0.019 | | σ | 0.129-0.079=0.050 | | min | 2.515-2.558=-0.043 | | max | 2.817-2.733=0.084 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.111-4808.975=0.136 | | σ | 7.773-7.796=-0.023 | | min | 4805.604-4805.048=0.556 | | max | 4823.016-4822.914=0.102 |
| | mean | 2840.000-2690.000=150.000 | | σ | 0.000 | | min | 2840.000-2690.000=150.000 | | max | 2840.000-2690.000=150.000 |
| | mean | 9.162-9.029=0.134 | | σ | 0.341-0.132=0.209 | | min | 8.925-8.889=0.035 | | max | 9.755-9.234=0.521 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.552-4996.494=0.058 | | σ | 0.151-0.178=-0.027 | | min | 4996.285-4996.285=-0.001 | | max | 4996.646-4996.640=0.006 |
| | mean | 3047.600-3058.800=-11.200 | | σ | 270.853-293.251=-22.398 | | min | 2840.000-2690.000=150.000 | | max | 3465.000-3333.000=132.000 |
| | mean | 8.503-8.914=-0.411 | | σ | 0.114-0.415=-0.301 | | min | 8.444-8.568=-0.125 | | max | 8.705-9.554=-0.849 |
|