iters=5 new-facts=1 prior-facts=1 | | mean | 324.768-324.769=-0.001 | | σ | 0.047-0.043=0.004 | | min | 324.687-324.694=-0.008 | | max | 324.810-324.807=0.003 |
| | mean | 2840.000-2833.000=7.000 | | σ | 0.000 | | min | 2840.000-2833.000=7.000 | | max | 2840.000-2833.000=7.000 |
| | mean | 0.427-0.425=0.002 | | σ | 0.005-0.001=0.005 | | min | 0.421-0.423=-0.002 | | max | 0.436-0.425=0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1844.989-1985.325=-140.336 | | σ | 313.767-0.013=313.754 | | min | 1283.705-1985.306=-701.601 | | max | 1985.327-1985.342=-0.016 |
| | mean | 2840.000-2833.000=7.000 | | σ | 0.000 | | min | 2840.000-2833.000=7.000 | | max | 2840.000-2833.000=7.000 |
| | mean | 2.473-2.675=-0.202 | | σ | 0.434-0.189=0.245 | | min | 1.747-2.563=-0.816 | | max | 2.921-3.007=-0.086 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.977-4809.001=-0.024 | | σ | 7.480-7.758=-0.278 | | min | 4805.612-4804.971=0.641 | | max | 4822.358-4822.867=-0.509 |
| | mean | 2840.000-2833.000=7.000 | | σ | 0.000 | | min | 2840.000-2833.000=7.000 | | max | 2840.000-2833.000=7.000 |
| | mean | 9.020-8.719=0.301 | | σ | 0.136-0.555=-0.419 | | min | 8.930-7.737=1.193 | | max | 9.257-9.060=0.197 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.555-4996.544=0.011 | | σ | 0.169-0.157=0.012 | | min | 4996.255-4996.266=-0.011 | | max | 4996.650-4996.642=0.009 |
| | mean | 2988.600-3063.000=-74.400 | | σ | 231.624-303.680=-72.056 | | min | 2840.000-2833.000=7.000 | | max | 3368.000-3534.000=-166.000 |
| | mean | 8.435-8.526=-0.092 | | σ | 0.090-0.143=-0.053 | | min | 8.285-8.435=-0.150 | | max | 8.523-8.778=-0.255 |
|