iters=5 new-facts=1 prior-facts=1 | | mean | 270.126-270.123=0.003 | | σ | 0.011-0.006=0.006 | | min | 270.107-270.116=-0.009 | | max | 270.136-270.130=0.006 |
| | mean | 2835.000-2773.000=62.000 | | σ | 0.000 | | min | 2835.000-2773.000=62.000 | | max | 2835.000-2773.000=62.000 |
| | mean | 0.376-0.373=0.003 | | σ | 0.005-0.004=0.001 | | min | 0.372-0.370=0.001 | | max | 0.382-0.380=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.585-1930.585=0.000 | | σ | 0.017-0.015=0.002 | | min | 1930.560-1930.568=-0.008 | | max | 1930.607-1930.605=0.002 |
| | mean | 2835.000-2773.000=62.000 | | σ | 0.000 | | min | 2835.000-2773.000=62.000 | | max | 2835.000-2773.000=62.000 |
| | mean | 2.475-2.636=-0.160 | | σ | 0.088-0.254=-0.166 | | min | 2.377-2.398=-0.021 | | max | 2.576-3.054=-0.478 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.127-4751.036=0.092 | | σ | 0.784-0.863=-0.078 | | min | 4750.645-4750.258=0.387 | | max | 4752.520-4752.515=0.005 |
| | mean | 2835.000-2773.000=62.000 | | σ | 0.000 | | min | 2835.000-2773.000=62.000 | | max | 2835.000-2773.000=62.000 |
| | mean | 8.125-7.967=0.159 | | σ | 0.379-0.255=0.124 | | min | 7.694-7.752=-0.058 | | max | 8.528-8.402=0.126 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.523-4941.385=0.138 | | σ | 0.080-0.276=-0.196 | | min | 4941.450-4940.904=0.546 | | max | 4941.611-4941.612=-0.000 |
| | mean | 3049.400-3041.200=8.200 | | σ | 275.915-325.362=-49.447 | | min | 2835.000-2773.000=62.000 | | max | 3470.000-3526.000=-56.000 |
| | mean | 8.421-8.433=-0.012 | | σ | 0.098-0.084=0.013 | | min | 8.349-8.337=0.012 | | max | 8.593-8.544=0.049 |
|