iters=5 new-facts=1 prior-facts=1 | | mean | 275.756-275.755=0.001 | | σ | 0.007-0.012=-0.005 | | min | 275.747-275.743=0.004 | | max | 275.766-275.770=-0.004 |
| | mean | 2649.000-2637.000=12.000 | | σ | 0.000 | | min | 2649.000-2637.000=12.000 | | max | 2649.000-2637.000=12.000 |
| | mean | 0.407-0.395=0.012 | | σ | 0.011-0.009=0.002 | | min | 0.394-0.387=0.007 | | max | 0.419-0.405=0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.267-2168.287=-0.020 | | σ | 0.018-0.005=0.013 | | min | 2168.245-2168.280=-0.034 | | max | 2168.286-2168.293=-0.008 |
| | mean | 2649.000-2637.000=12.000 | | σ | 0.000 | | min | 2649.000-2637.000=12.000 | | max | 2649.000-2637.000=12.000 |
| | mean | 2.951-2.999=-0.048 | | σ | 0.163-0.117=0.047 | | min | 2.739-2.831=-0.093 | | max | 3.167-3.114=0.053 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.983-5047.963=0.020 | | σ | 0.657-1.004=-0.348 | | min | 5047.520-5047.156=0.365 | | max | 5049.134-5049.715=-0.581 |
| | mean | 2649.000-2637.000=12.000 | | σ | 0.000 | | min | 2649.000-2637.000=12.000 | | max | 2649.000-2637.000=12.000 |
| | mean | 9.012-8.826=0.186 | | σ | 0.509-0.436=0.074 | | min | 8.162-8.055=0.107 | | max | 9.479-9.091=0.387 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.156-5179.159=-0.003 | | σ | 0.203-0.215=-0.011 | | min | 5178.812-5178.799=0.012 | | max | 5179.309-5179.334=-0.025 |
| | mean | 3262.000-3219.600=42.400 | | σ | 372.131-390.332=-18.201 | | min | 2745.000-2692.000=53.000 | | max | 3720.000-3727.000=-7.000 |
| | mean | 9.841-9.652=0.189 | | σ | 0.143-0.477=-0.334 | | min | 9.711-8.964=0.747 | | max | 10.072-10.141=-0.068 |
|