iters=5 new-facts=1 prior-facts=1 | | mean | 286.823-303.788=-16.966 | | σ | 0.036-0.057=-0.021 | | min | 286.774-303.698=-16.924 | | max | 286.861-303.850=-16.989 |
| | mean | 1647.000-1632.000=15.000 | | σ | 0.000 | | min | 1647.000-1632.000=15.000 | | max | 1647.000-1632.000=15.000 |
| | mean | 0.394-0.395=-0.001 | | σ | 0.008-0.008=0.000 | | min | 0.386-0.391=-0.005 | | max | 0.404-0.409=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.266-1326.329=-29.063 | | σ | 0.097-0.110=-0.012 | | min | 1297.128-1326.195=-29.068 | | max | 1297.385-1326.455=-29.069 |
| | mean | 1647.000-1632.000=15.000 | | σ | 0.000 | | min | 1647.000-1632.000=15.000 | | max | 1647.000-1632.000=15.000 |
| | mean | 2.249-1.965=0.283 | | σ | 0.116-0.140=-0.024 | | min | 2.169-1.823=0.346 | | max | 2.453-2.134=0.319 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.392-1564.392=-23.000 | | σ | 6.775-6.919=-0.144 | | min | 1538.268-1561.084=-22.815 | | max | 1553.510-1576.765=-23.255 |
| | mean | 1647.000-1632.000=15.000 | | σ | 0.000 | | min | 1647.000-1632.000=15.000 | | max | 1647.000-1632.000=15.000 |
| | mean | 2.369-2.320=0.049 | | σ | 0.263-0.288=-0.025 | | min | 2.148-2.018=0.130 | | max | 2.767-2.700=0.066 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.117-1894.277=-35.161 | | σ | 0.066-0.068=-0.002 | | min | 1859.027-1894.158=-35.132 | | max | 1859.193-1894.318=-35.125 |
| | mean | 1776.800-1776.000=0.800 | | σ | 126.308-174.698=-48.390 | | min | 1647.000-1632.000=15.000 | | max | 1904.000-2045.000=-141.000 |
| | mean | 3.101-3.024=0.077 | | σ | 0.274-0.325=-0.051 | | min | 2.854-2.858=-0.004 | | max | 3.527-3.603=-0.076 |
|