iters=5 new-facts=1 prior-facts=1 | | mean | 324.706-324.709=-0.003 | | σ | 0.056-0.040=0.016 | | min | 324.607-324.638=-0.031 | | max | 324.744-324.731=0.013 |
| | mean | 2838.000-2422.000=416.000 | | σ | 0.000 | | min | 2838.000-2422.000=416.000 | | max | 2838.000-2422.000=416.000 |
| | mean | 0.424-0.426=-0.002 | | σ | 0.001-0.003=-0.002 | | min | 0.423-0.422=0.000 | | max | 0.425-0.431=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.263-1985.271=-0.008 | | σ | 0.007-0.008=-0.001 | | min | 1985.255-1985.259=-0.004 | | max | 1985.271-1985.277=-0.006 |
| | mean | 2838.000-2422.000=416.000 | | σ | 0.000 | | min | 2838.000-2422.000=416.000 | | max | 2838.000-2422.000=416.000 |
| | mean | 2.685-2.621=0.064 | | σ | 0.101-0.178=-0.077 | | min | 2.562-2.461=0.101 | | max | 2.780-2.927=-0.147 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.748-4808.750=-0.002 | | σ | 7.410-7.396=0.013 | | min | 4805.384-4805.337=0.047 | | max | 4822.002-4821.980=0.022 |
| | mean | 2838.000-2422.000=416.000 | | σ | 0.000 | | min | 2838.000-2422.000=416.000 | | max | 2838.000-2422.000=416.000 |
| | mean | 8.858-8.984=-0.126 | | σ | 0.183-0.227=-0.044 | | min | 8.655-8.705=-0.049 | | max | 9.100-9.253=-0.153 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.477-4996.392=0.084 | | σ | 0.021-0.157=-0.135 | | min | 4996.451-4996.114=0.337 | | max | 4996.500-4996.478=0.023 |
| | mean | 3037.000-2939.800=97.200 | | σ | 210.812-450.548=-239.736 | | min | 2838.000-2422.000=416.000 | | max | 3257.000-3541.000=-284.000 |
| | mean | 8.653-8.506=0.147 | | σ | 0.113-0.129=-0.016 | | min | 8.511-8.427=0.084 | | max | 8.811-8.731=0.080 |
|