iters=5 new-facts=1 prior-facts=1 | | mean | 271.954-271.957=-0.003 | | σ | 0.006-0.002=0.004 | | min | 271.946-271.954=-0.008 | | max | 271.961-271.959=0.002 |
| | mean | 2616.000-2772.000=-156.000 | | σ | 0.000 | | min | 2616.000-2772.000=-156.000 | | max | 2616.000-2772.000=-156.000 |
| | mean | 0.382-0.385=-0.003 | | σ | 0.001-0.010=-0.009 | | min | 0.380-0.378=0.001 | | max | 0.383-0.402=-0.020 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.321-1932.334=-0.013 | | σ | 0.010-0.012=-0.001 | | min | 1932.305-1932.325=-0.020 | | max | 1932.330-1932.354=-0.024 |
| | mean | 2616.000-2772.000=-156.000 | | σ | 0.000 | | min | 2616.000-2772.000=-156.000 | | max | 2616.000-2772.000=-156.000 |
| | mean | 2.984-2.961=0.023 | | σ | 0.067-0.289=-0.221 | | min | 2.894-2.467=0.427 | | max | 3.065-3.187=-0.122 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.880-4753.122=-0.243 | | σ | 1.173-0.862=0.310 | | min | 4751.461-4752.606=-1.145 | | max | 4754.718-4754.650=0.068 |
| | mean | 2616.000-2772.000=-156.000 | | σ | 0.000 | | min | 2616.000-2772.000=-156.000 | | max | 2616.000-2772.000=-156.000 |
| | mean | 8.477-8.381=0.096 | | σ | 0.579-0.544=0.035 | | min | 7.616-7.631=-0.015 | | max | 9.012-8.913=0.099 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.557-4943.562=-0.005 | | σ | 0.021-0.012=0.008 | | min | 4943.531-4943.543=-0.011 | | max | 4943.577-4943.575=0.002 |
| | mean | 2967.400-3020.600=-53.200 | | σ | 261.280-236.335=24.945 | | min | 2616.000-2772.000=-156.000 | | max | 3293.000-3329.000=-36.000 |
| | mean | 8.491-8.649=-0.158 | | σ | 0.094-0.305=-0.211 | | min | 8.391-8.422=-0.031 | | max | 8.645-9.166=-0.521 |
|