iters=5 new-facts=1 prior-facts=1 | | mean | 275.568-277.195=-1.627 | | σ | 0.006-0.006=0.000 | | min | 275.561-277.187=-1.627 | | max | 275.576-277.203=-1.627 |
| | mean | 2412.000-2630.000=-218.000 | | σ | 0.000 | | min | 2412.000-2630.000=-218.000 | | max | 2412.000-2630.000=-218.000 |
| | mean | 0.397-0.397=-0.000 | | σ | 0.011-0.007=0.004 | | min | 0.388-0.391=-0.004 | | max | 0.411-0.409=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.087-2174.418=-6.331 | | σ | 0.021-0.038=-0.016 | | min | 2168.056-2174.353=-6.298 | | max | 2168.107-2174.452=-6.344 |
| | mean | 2412.000-2630.000=-218.000 | | σ | 0.000 | | min | 2412.000-2630.000=-218.000 | | max | 2412.000-2630.000=-218.000 |
| | mean | 2.884-3.095=-0.211 | | σ | 0.124-0.313=-0.189 | | min | 2.753-2.776=-0.023 | | max | 3.023-3.585=-0.562 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.903-5052.635=-4.732 | | σ | 0.897-0.988=-0.092 | | min | 5047.344-5052.041=-4.696 | | max | 5049.496-5054.390=-4.894 |
| | mean | 2412.000-2630.000=-218.000 | | σ | 0.000 | | min | 2412.000-2630.000=-218.000 | | max | 2412.000-2630.000=-218.000 |
| | mean | 8.804-8.708=0.095 | | σ | 0.460-0.590=-0.130 | | min | 8.094-8.260=-0.166 | | max | 9.274-9.660=-0.386 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.045-5188.358=-9.313 | | σ | 0.086-0.121=-0.035 | | min | 5178.968-5188.174=-9.206 | | max | 5179.139-5188.515=-9.376 |
| | mean | 3252.200-3288.600=-36.400 | | σ | 518.143-417.183=100.960 | | min | 2625.000-2706.000=-81.000 | | max | 3878.000-3675.000=203.000 |
| | mean | 9.893-9.040=0.853 | | σ | 0.196-0.503=-0.307 | | min | 9.657-8.711=0.946 | | max | 10.083-9.933=0.150 |
|