iters=5 new-facts=1 prior-facts=1 | | mean | 285.436-285.438=-0.002 | | σ | 0.010-0.014=-0.004 | | min | 285.421-285.417=0.004 | | max | 285.447-285.452=-0.005 |
| | mean | 1558.000-1601.000=-43.000 | | σ | 0.000 | | min | 1558.000-1601.000=-43.000 | | max | 1558.000-1601.000=-43.000 |
| | mean | 0.380-0.385=-0.005 | | σ | 0.008-0.015=-0.007 | | min | 0.374-0.374=0.000 | | max | 0.389-0.406=-0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.515-1285.528=-0.013 | | σ | 0.092-0.040=0.052 | | min | 1285.351-1285.462=-0.111 | | max | 1285.565-1285.561=0.004 |
| | mean | 1558.000-1601.000=-43.000 | | σ | 0.000 | | min | 1558.000-1601.000=-43.000 | | max | 1558.000-1601.000=-43.000 |
| | mean | 2.008-1.896=0.112 | | σ | 0.213-0.142=0.071 | | min | 1.827-1.803=0.024 | | max | 2.322-2.136=0.186 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1705.821-1705.828=-0.007 | | σ | 6.862-6.877=-0.015 | | min | 1702.598-1702.625=-0.026 | | max | 1718.093-1718.126=-0.033 |
| | mean | 1558.000-1601.000=-43.000 | | σ | 0.000 | | min | 1558.000-1601.000=-43.000 | | max | 1558.000-1601.000=-43.000 |
| | mean | 3.223-2.959=0.264 | | σ | 0.216-0.333=-0.118 | | min | 2.937-2.563=0.374 | | max | 3.427-3.320=0.108 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1968.412-1968.461=-0.049 | | σ | 0.032-0.028=0.005 | | min | 1968.355-1968.413=-0.058 | | max | 1968.431-1968.482=-0.050 |
| | mean | 1808.200-1806.600=1.600 | | σ | 227.405-170.088=57.318 | | min | 1558.000-1601.000=-43.000 | | max | 2124.000-2030.000=94.000 |
| | mean | 3.367-3.455=-0.088 | | σ | 0.376-0.252=0.125 | | min | 3.131-3.134=-0.003 | | max | 4.035-3.761=0.274 |
|