iters=5 new-facts=1 prior-facts=1 | | mean | 283.476-287.385=-3.909 | | σ | 0.037-0.036=0.001 | | min | 283.430-287.343=-3.913 | | max | 283.514-287.422=-3.908 |
| | mean | 1634.000-1650.000=-16.000 | | σ | 0.000 | | min | 1634.000-1650.000=-16.000 | | max | 1634.000-1650.000=-16.000 |
| | mean | 0.389-0.393=-0.004 | | σ | 0.007-0.007=0.001 | | min | 0.386-0.387=-0.001 | | max | 0.402-0.404=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1293.464-1297.769=-4.305 | | σ | 0.112-0.104=0.008 | | min | 1293.344-1297.650=-4.306 | | max | 1293.600-1297.897=-4.297 |
| | mean | 1634.000-1650.000=-16.000 | | σ | 0.000 | | min | 1634.000-1650.000=-16.000 | | max | 1634.000-1650.000=-16.000 |
| | mean | 1.891-1.889=0.001 | | σ | 0.082-0.068=0.013 | | min | 1.803-1.830=-0.027 | | max | 1.975-1.997=-0.022 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1536.321-1541.911=-5.590 | | σ | 4.075-6.876=-2.801 | | min | 1534.278-1538.641=-4.363 | | max | 1543.601-1554.208=-10.607 |
| | mean | 1634.000-1650.000=-16.000 | | σ | 0.000 | | min | 1634.000-1650.000=-16.000 | | max | 1634.000-1650.000=-16.000 |
| | mean | 2.356-2.163=0.193 | | σ | 0.355-0.129=0.226 | | min | 2.034-2.054=-0.020 | | max | 2.925-2.374=0.551 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1855.347-1859.683=-4.336 | | σ | 0.066-0.052=0.014 | | min | 1855.275-1859.633=-4.357 | | max | 1855.421-1859.759=-4.337 |
| | mean | 1776.200-1772.600=3.600 | | σ | 135.491-123.733=11.758 | | min | 1634.000-1650.000=-16.000 | | max | 1915.000-1902.000=13.000 |
| | mean | 3.259-3.091=0.168 | | σ | 0.449-0.313=0.136 | | min | 2.866-2.862=0.004 | | max | 3.751-3.639=0.112 |
|