iters=5 new-facts=1 prior-facts=1 | | mean | 324.761-324.761=0.000 | | σ | 0.056-0.043=0.012 | | min | 324.662-324.684=-0.022 | | max | 324.794-324.790=0.004 |
| | mean | 2832.000-2840.000=-8.000 | | σ | 0.000 | | min | 2832.000-2840.000=-8.000 | | max | 2832.000-2840.000=-8.000 |
| | mean | 0.427-0.417=0.010 | | σ | 0.010-0.002=0.009 | | min | 0.421-0.416=0.005 | | max | 0.445-0.420=0.025 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.316-1985.313=0.002 | | σ | 0.021-0.015=0.005 | | min | 1985.284-1985.292=-0.008 | | max | 1985.334-1985.334=0.000 |
| | mean | 2832.000-2840.000=-8.000 | | σ | 0.000 | | min | 2832.000-2840.000=-8.000 | | max | 2832.000-2840.000=-8.000 |
| | mean | 2.630-2.636=-0.006 | | σ | 0.108-0.129=-0.022 | | min | 2.517-2.515=0.002 | | max | 2.754-2.817=-0.064 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.085-4809.111=-0.026 | | σ | 7.737-7.773=-0.037 | | min | 4805.607-4805.604=0.003 | | max | 4822.925-4823.016=-0.091 |
| | mean | 2832.000-2840.000=-8.000 | | σ | 0.000 | | min | 2832.000-2840.000=-8.000 | | max | 2832.000-2840.000=-8.000 |
| | mean | 8.930-9.162=-0.232 | | σ | 0.340-0.341=-0.001 | | min | 8.383-8.925=-0.542 | | max | 9.291-9.755=-0.464 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.549-4996.552=-0.003 | | σ | 0.156-0.151=0.005 | | min | 4996.273-4996.285=-0.012 | | max | 4996.650-4996.646=0.004 |
| | mean | 3058.400-3047.600=10.800 | | σ | 307.030-270.853=36.177 | | min | 2832.000-2840.000=-8.000 | | max | 3535.000-3465.000=70.000 |
| | mean | 8.515-8.503=0.012 | | σ | 0.106-0.114=-0.007 | | min | 8.412-8.444=-0.031 | | max | 8.695-8.705=-0.010 |
|