iters=5 new-facts=1 prior-facts=1 | | mean | 286.817-303.791=-16.974 | | σ | 0.036-0.046=-0.010 | | min | 286.774-303.722=-16.948 | | max | 286.854-303.843=-16.988 |
| | mean | 1647.000-1516.000=131.000 | | σ | 0.000 | | min | 1647.000-1516.000=131.000 | | max | 1647.000-1516.000=131.000 |
| | mean | 0.394-0.391=0.003 | | σ | 0.008-0.002=0.006 | | min | 0.388-0.388=-0.000 | | max | 0.402-0.392=0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.289-1326.333=-29.045 | | σ | 0.078-0.106=-0.028 | | min | 1297.206-1326.199=-28.993 | | max | 1297.404-1326.450=-29.047 |
| | mean | 1647.000-1516.000=131.000 | | σ | 0.000 | | min | 1647.000-1516.000=131.000 | | max | 1647.000-1516.000=131.000 |
| | mean | 2.239-1.925=0.314 | | σ | 0.060-0.114=-0.053 | | min | 2.159-1.828=0.331 | | max | 2.318-2.103=0.215 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.346-1564.411=-23.064 | | σ | 6.836-6.902=-0.066 | | min | 1538.110-1561.140=-23.030 | | max | 1553.571-1576.754=-23.183 |
| | mean | 1647.000-1516.000=131.000 | | σ | 0.000 | | min | 1647.000-1516.000=131.000 | | max | 1647.000-1516.000=131.000 |
| | mean | 2.250-2.366=-0.116 | | σ | 0.184-0.320=-0.136 | | min | 2.106-2.042=0.065 | | max | 2.561-2.724=-0.163 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.116-1894.282=-35.166 | | σ | 0.066-0.076=-0.010 | | min | 1859.034-1894.149=-35.115 | | max | 1859.183-1894.333=-35.150 |
| | mean | 1797.800-1747.400=50.400 | | σ | 157.018-220.987=-63.969 | | min | 1647.000-1516.000=131.000 | | max | 1960.000-2067.000=-107.000 |
| | mean | 2.986-2.929=0.057 | | σ | 0.142-0.197=-0.055 | | min | 2.854-2.740=0.115 | | max | 3.201-3.263=-0.061 |
|