iters=5 new-facts=1 prior-facts=1 | | mean | 287.623-329.775=-42.151 | | σ | 0.016-0.059=-0.043 | | min | 287.596-329.670=-42.073 | | max | 287.636-329.811=-42.175 |
| | mean | 1640.000-2802.000=-1162.000 | | σ | 0.000 | | min | 1640.000-2802.000=-1162.000 | | max | 1640.000-2802.000=-1162.000 |
| | mean | 0.374-0.434=-0.059 | | σ | 0.011-0.010=0.002 | | min | 0.366-0.426=-0.060 | | max | 0.391-0.449=-0.058 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1287.588-1991.935=-704.347 | | σ | 0.133-0.017=0.116 | | min | 1287.521-1991.916=-704.394 | | max | 1287.826-1991.955=-704.129 |
| | mean | 1640.000-2802.000=-1162.000 | | σ | 0.000 | | min | 1640.000-2802.000=-1162.000 | | max | 1640.000-2802.000=-1162.000 |
| | mean | 1.955-2.661=-0.706 | | σ | 0.171-0.055=0.116 | | min | 1.851-2.625=-0.774 | | max | 2.258-2.758=-0.499 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1809.941-4816.794=-3006.853 | | σ | 6.971-7.728=-0.757 | | min | 1806.554-4813.243=-3006.689 | | max | 1822.392-4830.618=-3008.225 |
| | mean | 1640.000-2802.000=-1162.000 | | σ | 0.000 | | min | 1640.000-2802.000=-1162.000 | | max | 1640.000-2802.000=-1162.000 |
| | mean | 4.228-8.796=-4.569 | | σ | 0.252-0.437=-0.185 | | min | 3.955-8.270=-4.315 | | max | 4.623-9.159=-4.535 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2072.428-5004.340=-2931.912 | | σ | 0.021-0.017=0.005 | | min | 2072.415-5004.318=-2931.903 | | max | 2072.466-5004.354=-2931.888 |
| | mean | 1851.800-3015.600=-1163.800 | | σ | 200.693-220.445=-19.752 | | min | 1640.000-2802.000=-1162.000 | | max | 2098.000-3327.000=-1229.000 |
| | mean | 5.035-9.601=-4.566 | | σ | 0.126-0.522=-0.397 | | min | 4.894-8.673=-3.779 | | max | 5.129-9.908=-4.779 |
|