iters=5 new-facts=1 prior-facts=1 | | mean | 271.955-270.142=1.813 | | σ | 0.007-0.007=0.000 | | min | 271.945-270.133=1.812 | | max | 271.964-270.150=1.814 |
| | mean | 2714.000-2773.000=-59.000 | | σ | 0.000 | | min | 2714.000-2773.000=-59.000 | | max | 2714.000-2773.000=-59.000 |
| | mean | 0.382-0.378=0.004 | | σ | 0.001-0.003=-0.001 | | min | 0.380-0.374=0.007 | | max | 0.383-0.381=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.319-1930.597=1.722 | | σ | 0.007-0.013=-0.006 | | min | 1932.310-1930.583=1.727 | | max | 1932.329-1930.617=1.712 |
| | mean | 2714.000-2773.000=-59.000 | | σ | 0.000 | | min | 2714.000-2773.000=-59.000 | | max | 2714.000-2773.000=-59.000 |
| | mean | 3.072-2.576=0.496 | | σ | 0.086-0.095=-0.008 | | min | 2.979-2.498=0.482 | | max | 3.168-2.733=0.435 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.117-4751.199=1.918 | | σ | 0.890-1.005=-0.116 | | min | 4752.593-4750.326=2.267 | | max | 4754.697-4752.931=1.767 |
| | mean | 2714.000-2773.000=-59.000 | | σ | 0.000 | | min | 2714.000-2773.000=-59.000 | | max | 2714.000-2773.000=-59.000 |
| | mean | 8.465-8.509=-0.044 | | σ | 0.507-0.529=-0.022 | | min | 7.710-7.617=0.093 | | max | 8.959-8.976=-0.017 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.559-4941.778=1.781 | | σ | 0.012-0.017=-0.005 | | min | 4943.540-4941.756=1.784 | | max | 4943.571-4941.801=1.770 |
| | mean | 3020.400-3026.800=-6.400 | | σ | 250.302-262.066=-11.764 | | min | 2714.000-2773.000=-59.000 | | max | 3337.000-3296.000=41.000 |
| | mean | 8.517-8.656=-0.139 | | σ | 0.151-0.263=-0.112 | | min | 8.350-8.235=0.115 | | max | 8.720-8.953=-0.233 |
|