iters=5 new-facts=1 prior-facts=1 | | mean | 324.682-324.694=-0.012 | | σ | 0.048-0.043=0.006 | | min | 324.596-324.619=-0.024 | | max | 324.707-324.724=-0.017 |
| | mean | 2422.000-2812.000=-390.000 | | σ | 0.000 | | min | 2422.000-2812.000=-390.000 | | max | 2422.000-2812.000=-390.000 |
| | mean | 0.431-0.424=0.007 | | σ | 0.011-0.004=0.007 | | min | 0.423-0.421=0.003 | | max | 0.449-0.431=0.017 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.253-1985.244=0.009 | | σ | 0.012-0.015=-0.003 | | min | 1985.233-1985.224=0.009 | | max | 1985.265-1985.260=0.005 |
| | mean | 2422.000-2812.000=-390.000 | | σ | 0.000 | | min | 2422.000-2812.000=-390.000 | | max | 2422.000-2812.000=-390.000 |
| | mean | 2.674-2.685=-0.011 | | σ | 0.194-0.126=0.068 | | min | 2.475-2.544=-0.069 | | max | 2.979-2.819=0.160 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.858-4808.789=0.069 | | σ | 7.690-7.706=-0.016 | | min | 4805.410-4804.781=0.629 | | max | 4822.615-4822.561=0.053 |
| | mean | 2422.000-2812.000=-390.000 | | σ | 0.000 | | min | 2422.000-2812.000=-390.000 | | max | 2422.000-2812.000=-390.000 |
| | mean | 8.975-8.806=0.168 | | σ | 0.109-0.629=-0.520 | | min | 8.884-7.789=1.095 | | max | 9.160-9.447=-0.287 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.375-4996.446=-0.071 | | σ | 0.145-0.017=0.128 | | min | 4996.117-4996.429=-0.311 | | max | 4996.466-4996.465=0.001 |
| | mean | 2937.600-3002.400=-64.800 | | σ | 449.491-269.372=180.119 | | min | 2422.000-2812.000=-390.000 | | max | 3538.000-3423.000=115.000 |
| | mean | 8.524-8.542=-0.018 | | σ | 0.123-0.104=0.020 | | min | 8.440-8.479=-0.039 | | max | 8.740-8.723=0.017 |
|