iters=5 new-facts=1 prior-facts=1 | | mean | 301.483-301.491=-0.008 | | σ | 0.045-0.030=0.015 | | min | 301.417-301.460=-0.043 | | max | 301.536-301.532=0.004 |
| | mean | 1514.000-1670.000=-156.000 | | σ | 0.000 | | min | 1514.000-1670.000=-156.000 | | max | 1514.000-1670.000=-156.000 |
| | mean | 0.394-0.392=0.002 | | σ | 0.005-0.005=0.000 | | min | 0.390-0.387=0.003 | | max | 0.403-0.398=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1324.058-1324.057=0.001 | | σ | 0.111-0.110=0.001 | | min | 1323.924-1323.925=-0.001 | | max | 1324.203-1324.214=-0.011 |
| | mean | 1514.000-1670.000=-156.000 | | σ | 0.000 | | min | 1514.000-1670.000=-156.000 | | max | 1514.000-1670.000=-156.000 |
| | mean | 1.930-1.883=0.047 | | σ | 0.108-0.079=0.028 | | min | 1.822-1.824=-0.002 | | max | 2.067-2.004=0.062 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1562.069-1562.095=-0.026 | | σ | 6.898-6.901=-0.004 | | min | 1558.770-1558.736=0.034 | | max | 1574.402-1574.434=-0.031 |
| | mean | 1514.000-1670.000=-156.000 | | σ | 0.000 | | min | 1514.000-1670.000=-156.000 | | max | 1514.000-1670.000=-156.000 |
| | mean | 2.242-2.378=-0.136 | | σ | 0.147-0.292=-0.145 | | min | 2.116-2.125=-0.009 | | max | 2.484-2.736=-0.252 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1891.950-1891.980=-0.030 | | σ | 0.070-0.083=-0.013 | | min | 1891.855-1891.840=0.015 | | max | 1892.009-1892.061=-0.051 |
| | mean | 1725.200-1783.200=-58.000 | | σ | 204.908-152.973=51.935 | | min | 1514.000-1670.000=-156.000 | | max | 2022.000-2017.000=5.000 |
| | mean | 2.974-2.884=0.090 | | σ | 0.231-0.162=0.069 | | min | 2.739-2.670=0.068 | | max | 3.344-3.127=0.217 |
|