iters=5 new-facts=1 prior-facts=1 | | mean | 286.825-286.828=-0.002 | | σ | 0.038-0.028=0.009 | | min | 286.773-286.793=-0.020 | | max | 286.864-286.858=0.006 |
| | mean | 1647.000-1651.000=-4.000 | | σ | 0.000 | | min | 1647.000-1651.000=-4.000 | | max | 1647.000-1651.000=-4.000 |
| | mean | 0.397-0.396=0.001 | | σ | 0.008-0.009=-0.001 | | min | 0.389-0.388=0.000 | | max | 0.407-0.410=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.267-1297.208=0.058 | | σ | 0.063-0.106=-0.042 | | min | 1297.192-1297.087=0.105 | | max | 1297.352-1297.331=0.021 |
| | mean | 1647.000-1651.000=-4.000 | | σ | 0.000 | | min | 1647.000-1651.000=-4.000 | | max | 1647.000-1651.000=-4.000 |
| | mean | 2.091-1.939=0.151 | | σ | 0.073-0.114=-0.041 | | min | 2.020-1.808=0.212 | | max | 2.191-2.061=0.131 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.312-1541.401=-0.089 | | σ | 6.841-6.794=0.047 | | min | 1538.067-1538.132=-0.065 | | max | 1553.545-1553.549=-0.004 |
| | mean | 1647.000-1651.000=-4.000 | | σ | 0.000 | | min | 1647.000-1651.000=-4.000 | | max | 1647.000-1651.000=-4.000 |
| | mean | 2.190-2.459=-0.269 | | σ | 0.105-0.244=-0.139 | | min | 2.098-2.060=0.039 | | max | 2.353-2.682=-0.329 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.113-1859.120=-0.007 | | σ | 0.074-0.058=0.016 | | min | 1858.996-1859.069=-0.073 | | max | 1859.181-1859.199=-0.018 |
| | mean | 1784.200-1780.800=3.400 | | σ | 168.307-137.320=30.987 | | min | 1647.000-1651.000=-4.000 | | max | 2035.000-1924.000=111.000 |
| | mean | 2.949-2.969=-0.020 | | σ | 0.073-0.105=-0.032 | | min | 2.846-2.853=-0.007 | | max | 3.041-3.121=-0.080 |
|