iters=5 new-facts=1 prior-facts=1 | | mean | 270.143-270.129=0.014 | | σ | 0.004-0.009=-0.005 | | min | 270.136-270.120=0.017 | | max | 270.149-270.142=0.007 |
| | mean | 2847.000-2849.000=-2.000 | | σ | 0.000 | | min | 2847.000-2849.000=-2.000 | | max | 2847.000-2849.000=-2.000 |
| | mean | 0.376-0.380=-0.004 | | σ | 0.003-0.006=-0.003 | | min | 0.370-0.372=-0.002 | | max | 0.378-0.389=-0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.608-1930.604=0.004 | | σ | 0.011-0.015=-0.004 | | min | 1930.596-1930.581=0.015 | | max | 1930.623-1930.619=0.004 |
| | mean | 2847.000-2849.000=-2.000 | | σ | 0.000 | | min | 2847.000-2849.000=-2.000 | | max | 2847.000-2849.000=-2.000 |
| | mean | 2.513-2.517=-0.004 | | σ | 0.061-0.075=-0.015 | | min | 2.441-2.478=-0.037 | | max | 2.584-2.652=-0.068 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.338-4750.811=0.527 | | σ | 0.893-1.303=-0.411 | | min | 4750.769-4749.619=1.150 | | max | 4752.920-4752.855=0.065 |
| | mean | 2847.000-2849.000=-2.000 | | σ | 0.000 | | min | 2847.000-2849.000=-2.000 | | max | 2847.000-2849.000=-2.000 |
| | mean | 8.797-8.971=-0.174 | | σ | 0.529-0.285=0.244 | | min | 8.098-8.561=-0.463 | | max | 9.361-9.231=0.130 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.700-4941.765=-0.064 | | σ | 0.166-0.013=0.153 | | min | 4941.405-4941.753=-0.348 | | max | 4941.792-4941.780=0.012 |
| | mean | 3077.000-3028.400=48.600 | | σ | 231.353-199.484=31.869 | | min | 2847.000-2849.000=-2.000 | | max | 3422.000-3334.000=88.000 |
| | mean | 8.582-8.477=0.105 | | σ | 0.228-0.120=0.108 | | min | 8.344-8.347=-0.004 | | max | 8.865-8.652=0.213 |
|