iters=5 new-facts=1 prior-facts=1 | | mean | 324.701-324.707=-0.006 | | σ | 0.055-0.048=0.007 | | min | 324.603-324.621=-0.017 | | max | 324.732-324.736=-0.004 |
| | mean | 2840.000-2826.000=14.000 | | σ | 0.000 | | min | 2840.000-2826.000=14.000 | | max | 2840.000-2826.000=14.000 |
| | mean | 0.424-0.434=-0.010 | | σ | 0.001-0.007=-0.007 | | min | 0.423-0.424=-0.001 | | max | 0.425-0.442=-0.017 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.255-1985.258=-0.003 | | σ | 0.017-0.023=-0.006 | | min | 1985.229-1985.229=-0.001 | | max | 1985.271-1985.280=-0.009 |
| | mean | 2840.000-2826.000=14.000 | | σ | 0.000 | | min | 2840.000-2826.000=14.000 | | max | 2840.000-2826.000=14.000 |
| | mean | 2.623-2.648=-0.025 | | σ | 0.164-0.136=0.028 | | min | 2.517-2.529=-0.012 | | max | 2.913-2.830=0.083 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.776-4808.765=0.011 | | σ | 7.720-7.693=0.027 | | min | 4804.827-4804.759=0.068 | | max | 4822.575-4822.513=0.063 |
| | mean | 2840.000-2826.000=14.000 | | σ | 0.000 | | min | 2840.000-2826.000=14.000 | | max | 2840.000-2826.000=14.000 |
| | mean | 8.358-8.659=-0.301 | | σ | 0.497-0.337=0.160 | | min | 7.688-8.225=-0.538 | | max | 8.887-9.051=-0.164 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.388-4996.467=-0.079 | | σ | 0.154-0.013=0.141 | | min | 4996.117-4996.447=-0.330 | | max | 4996.481-4996.480=0.001 |
| | mean | 3052.600-3058.200=-5.600 | | σ | 292.244-303.059=-10.814 | | min | 2840.000-2826.000=14.000 | | max | 3513.000-3527.000=-14.000 |
| | mean | 8.502-8.475=0.027 | | σ | 0.114-0.154=-0.040 | | min | 8.350-8.388=-0.039 | | max | 8.654-8.749=-0.095 |
|