iters=5 new-facts=1 prior-facts=1 | | mean | 326.439-326.441=-0.003 | | σ | 0.060-0.060=-0.001 | | min | 326.334-326.334=-0.000 | | max | 326.480-326.478=0.002 |
| | mean | 2695.000-2593.000=102.000 | | σ | 0.000 | | min | 2695.000-2593.000=102.000 | | max | 2695.000-2593.000=102.000 |
| | mean | 0.427-0.436=-0.009 | | σ | 0.006-0.010=-0.004 | | min | 0.421-0.426=-0.004 | | max | 0.434-0.446=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.591-1988.608=-0.017 | | σ | 0.050-0.010=0.039 | | min | 1988.504-1988.591=-0.087 | | max | 1988.621-1988.617=0.004 |
| | mean | 2695.000-2593.000=102.000 | | σ | 0.000 | | min | 2695.000-2593.000=102.000 | | max | 2695.000-2593.000=102.000 |
| | mean | 2.674-2.690=-0.016 | | σ | 0.064-0.114=-0.051 | | min | 2.620-2.568=0.052 | | max | 2.785-2.865=-0.080 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.336-4813.499=-0.162 | | σ | 7.784-7.749=0.035 | | min | 4809.491-4809.895=-0.404 | | max | 4827.256-4827.360=-0.103 |
| | mean | 2695.000-2593.000=102.000 | | σ | 0.000 | | min | 2695.000-2593.000=102.000 | | max | 2695.000-2593.000=102.000 |
| | mean | 8.813-8.780=0.033 | | σ | 0.273-0.684=-0.411 | | min | 8.486-7.717=0.769 | | max | 9.101-9.481=-0.380 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.018-5000.937=0.081 | | σ | 0.031-0.158=-0.127 | | min | 5000.987-5000.657=0.330 | | max | 5001.059-5001.030=0.029 |
| | mean | 2991.600-2932.000=59.600 | | σ | 251.665-357.472=-105.807 | | min | 2695.000-2593.000=102.000 | | max | 3314.000-3455.000=-141.000 |
| | mean | 9.912-9.715=0.197 | | σ | 0.206-0.242=-0.035 | | min | 9.732-9.364=0.369 | | max | 10.234-10.045=0.190 |
|