iters=5 new-facts=1 prior-facts=1 | | mean | 301.473-301.468=0.006 | | σ | 0.064-0.069=-0.005 | | min | 301.373-301.358=0.016 | | max | 301.536-301.531=0.005 |
| | mean | 1631.000-1672.000=-41.000 | | σ | 0.000 | | min | 1631.000-1672.000=-41.000 | | max | 1631.000-1672.000=-41.000 |
| | mean | 0.393-0.394=-0.000 | | σ | 0.007-0.008=-0.000 | | min | 0.387-0.389=-0.002 | | max | 0.406-0.408=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1324.062-1324.059=0.003 | | σ | 0.113-0.112=0.001 | | min | 1323.925-1323.922=0.003 | | max | 1324.204-1324.203=0.001 |
| | mean | 1631.000-1672.000=-41.000 | | σ | 0.000 | | min | 1631.000-1672.000=-41.000 | | max | 1631.000-1672.000=-41.000 |
| | mean | 1.898-1.863=0.035 | | σ | 0.058-0.061=-0.003 | | min | 1.824-1.809=0.015 | | max | 1.970-1.959=0.010 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1562.080-1562.077=0.003 | | σ | 6.937-6.892=0.045 | | min | 1558.735-1558.770=-0.034 | | max | 1574.484-1574.402=0.082 |
| | mean | 1631.000-1672.000=-41.000 | | σ | 0.000 | | min | 1631.000-1672.000=-41.000 | | max | 1631.000-1672.000=-41.000 |
| | mean | 2.350-2.282=0.068 | | σ | 0.301-0.189=0.112 | | min | 2.057-2.072=-0.015 | | max | 2.828-2.478=0.351 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1891.971-1891.971=-0.000 | | σ | 0.067-0.082=-0.015 | | min | 1891.856-1891.829=0.027 | | max | 1892.019-1892.042=-0.023 |
| | mean | 1776.000-1779.400=-3.400 | | σ | 174.393-148.909=25.485 | | min | 1631.000-1672.000=-41.000 | | max | 2036.000-2009.000=27.000 |
| | mean | 2.893-2.985=-0.092 | | σ | 0.147-0.339=-0.192 | | min | 2.701-2.697=0.004 | | max | 3.112-3.574=-0.461 |
|