iters=5 new-facts=1 prior-facts=1 | | mean | 324.712-324.580=0.132 | | σ | 0.037-0.063=-0.027 | | min | 324.646-324.468=0.178 | | max | 324.730-324.617=0.113 |
| | mean | 2451.000-2843.000=-392.000 | | σ | 0.000 | | min | 2451.000-2843.000=-392.000 | | max | 2451.000-2843.000=-392.000 |
| | mean | 0.425-0.429=-0.004 | | σ | 0.001-0.011=-0.010 | | min | 0.423-0.423=0.000 | | max | 0.426-0.448=-0.022 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.262-1985.147=0.115 | | σ | 0.020-0.012=0.008 | | min | 1985.227-1985.128=0.099 | | max | 1985.276-1985.157=0.120 |
| | mean | 2451.000-2843.000=-392.000 | | σ | 0.000 | | min | 2451.000-2843.000=-392.000 | | max | 2451.000-2843.000=-392.000 |
| | mean | 2.671-2.611=0.060 | | σ | 0.181-0.071=0.111 | | min | 2.482-2.546=-0.064 | | max | 2.874-2.730=0.144 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.861-4808.738=0.123 | | σ | 7.671-7.677=-0.006 | | min | 4805.331-4805.274=0.057 | | max | 4822.583-4822.471=0.112 |
| | mean | 2451.000-2843.000=-392.000 | | σ | 0.000 | | min | 2451.000-2843.000=-392.000 | | max | 2451.000-2843.000=-392.000 |
| | mean | 8.871-8.917=-0.045 | | σ | 0.230-0.149=0.081 | | min | 8.605-8.701=-0.096 | | max | 9.121-9.086=0.035 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.467-4996.269=0.197 | | σ | 0.018-0.170=-0.152 | | min | 4996.438-4995.966=0.472 | | max | 4996.482-4996.357=0.126 |
| | mean | 2945.800-3062.200=-116.400 | | σ | 444.588-301.057=143.531 | | min | 2451.000-2843.000=-392.000 | | max | 3546.000-3531.000=15.000 |
| | mean | 8.461-8.615=-0.154 | | σ | 0.104-0.334=-0.230 | | min | 8.356-8.408=-0.052 | | max | 8.617-9.206=-0.589 |
|