iters=5 new-facts=1 prior-facts=1 | | mean | 324.763-324.769=-0.006 | | σ | 0.036-0.043=-0.007 | | min | 324.701-324.695=0.006 | | max | 324.787-324.800=-0.013 |
| | mean | 2778.000-2452.000=326.000 | | σ | 0.000 | | min | 2778.000-2452.000=326.000 | | max | 2778.000-2452.000=326.000 |
| | mean | 0.419-0.430=-0.011 | | σ | 0.009-0.009=0.000 | | min | 0.415-0.423=-0.009 | | max | 0.436-0.443=-0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.325-1985.310=0.015 | | σ | 0.010-0.022=-0.012 | | min | 1985.313-1985.286=0.027 | | max | 1985.339-1985.337=0.002 |
| | mean | 2778.000-2452.000=326.000 | | σ | 0.000 | | min | 2778.000-2452.000=326.000 | | max | 2778.000-2452.000=326.000 |
| | mean | 2.622-2.685=-0.063 | | σ | 0.097-0.267=-0.170 | | min | 2.541-2.460=0.081 | | max | 2.768-3.126=-0.358 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.973-4809.136=-0.163 | | σ | 7.459-7.623=-0.164 | | min | 4805.598-4805.544=0.055 | | max | 4822.315-4822.770=-0.454 |
| | mean | 2778.000-2452.000=326.000 | | σ | 0.000 | | min | 2778.000-2452.000=326.000 | | max | 2778.000-2452.000=326.000 |
| | mean | 9.023-8.804=0.220 | | σ | 0.273-0.744=-0.471 | | min | 8.703-7.768=0.935 | | max | 9.346-9.826=-0.480 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.633-4996.633=0.000 | | σ | 0.016-0.029=-0.013 | | min | 4996.615-4996.599=0.016 | | max | 4996.649-4996.661=-0.012 |
| | mean | 3031.200-2957.600=73.600 | | σ | 201.312-429.346=-228.034 | | min | 2778.000-2474.000=304.000 | | max | 3306.000-3536.000=-230.000 |
| | mean | 8.604-8.559=0.045 | | σ | 0.162-0.208=-0.046 | | min | 8.402-8.380=0.022 | | max | 8.786-8.801=-0.015 |
|