iters=5 new-facts=1 prior-facts=1 | | mean | 303.785-303.783=0.002 | | σ | 0.062-0.072=-0.010 | | min | 303.684-303.663=0.021 | | max | 303.843-303.845=-0.001 |
| | mean | 1511.000-1516.000=-5.000 | | σ | 0.000 | | min | 1511.000-1516.000=-5.000 | | max | 1511.000-1516.000=-5.000 |
| | mean | 0.392-0.399=-0.007 | | σ | 0.003-0.017=-0.014 | | min | 0.388-0.388=0.000 | | max | 0.397-0.428=-0.031 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.327-1326.323=0.003 | | σ | 0.103-0.101=0.003 | | min | 1326.196-1326.196=0.000 | | max | 1326.448-1326.451=-0.002 |
| | mean | 1511.000-1516.000=-5.000 | | σ | 0.000 | | min | 1511.000-1516.000=-5.000 | | max | 1511.000-1516.000=-5.000 |
| | mean | 1.914-1.948=-0.034 | | σ | 0.086-0.128=-0.042 | | min | 1.815-1.836=-0.021 | | max | 2.027-2.152=-0.124 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.425-1564.410=0.015 | | σ | 6.911-6.930=-0.019 | | min | 1561.110-1561.119=-0.009 | | max | 1576.783-1576.802=-0.020 |
| | mean | 1511.000-1516.000=-5.000 | | σ | 0.000 | | min | 1511.000-1516.000=-5.000 | | max | 1511.000-1516.000=-5.000 |
| | mean | 2.439-2.369=0.070 | | σ | 0.350-0.344=0.006 | | min | 2.053-2.043=0.010 | | max | 2.746-2.772=-0.026 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.283-1894.287=-0.004 | | σ | 0.070-0.066=0.004 | | min | 1894.159-1894.171=-0.012 | | max | 1894.320-1894.330=-0.010 |
| | mean | 1731.600-1721.400=10.200 | | σ | 214.839-203.467=11.372 | | min | 1511.000-1516.000=-5.000 | | max | 2035.000-2017.000=18.000 |
| | mean | 2.918-3.004=-0.086 | | σ | 0.120-0.223=-0.102 | | min | 2.837-2.801=0.036 | | max | 3.131-3.341=-0.210 |
|