iters=5 new-facts=1 prior-facts=1 | | mean | 299.458-303.785=-4.327 | | σ | 0.032-0.057=-0.025 | | min | 299.418-303.694=-4.276 | | max | 299.499-303.844=-4.345 |
| | mean | 1445.000-1640.000=-195.000 | | σ | 0.000 | | min | 1445.000-1640.000=-195.000 | | max | 1445.000-1640.000=-195.000 |
| | mean | 0.392-0.395=-0.003 | | σ | 0.010-0.007=0.003 | | min | 0.385-0.391=-0.007 | | max | 0.406-0.408=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1309.889-1326.320=-16.430 | | σ | 0.102-0.104=-0.002 | | min | 1309.761-1326.196=-16.435 | | max | 1310.026-1326.464=-16.438 |
| | mean | 1445.000-1640.000=-195.000 | | σ | 0.000 | | min | 1445.000-1640.000=-195.000 | | max | 1445.000-1640.000=-195.000 |
| | mean | 1.923-1.887=0.037 | | σ | 0.106-0.068=0.038 | | min | 1.799-1.832=-0.032 | | max | 2.073-1.996=0.077 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1553.968-1564.372=-10.404 | | σ | 6.868-6.921=-0.053 | | min | 1550.625-1561.041=-10.416 | | max | 1566.248-1576.747=-10.499 |
| | mean | 1445.000-1640.000=-195.000 | | σ | 0.000 | | min | 1445.000-1640.000=-195.000 | | max | 1445.000-1640.000=-195.000 |
| | mean | 2.244-2.303=-0.059 | | σ | 0.184-0.262=-0.078 | | min | 2.067-2.089=-0.022 | | max | 2.549-2.754=-0.205 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1871.764-1894.289=-22.525 | | σ | 0.048-0.077=-0.030 | | min | 1871.699-1894.151=-22.452 | | max | 1871.808-1894.329=-22.521 |
| | mean | 1735.800-1767.200=-31.400 | | σ | 162.454-132.436=30.018 | | min | 1510.000-1640.000=-130.000 | | max | 1941.000-1956.000=-15.000 |
| | mean | 2.875-2.936=-0.061 | | σ | 0.043-0.170=-0.127 | | min | 2.824-2.665=0.158 | | max | 2.926-3.118=-0.192 |
|