iters=5 new-facts=1 prior-facts=1 | | mean | 326.547-326.577=-0.030 | | σ | 0.049-0.040=0.009 | | min | 326.462-326.507=-0.046 | | max | 326.584-326.603=-0.018 |
| | mean | 2832.000-2835.000=-3.000 | | σ | 0.000 | | min | 2832.000-2835.000=-3.000 | | max | 2832.000-2835.000=-3.000 |
| | mean | 0.426-0.423=0.003 | | σ | 0.005-0.002=0.003 | | min | 0.421-0.421=-0.000 | | max | 0.434-0.425=0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.743-1988.739=0.003 | | σ | 0.009-0.012=-0.003 | | min | 1988.730-1988.719=0.011 | | max | 1988.750-1988.750=-0.001 |
| | mean | 2832.000-2835.000=-3.000 | | σ | 0.000 | | min | 2832.000-2835.000=-3.000 | | max | 2832.000-2835.000=-3.000 |
| | mean | 2.676-2.690=-0.014 | | σ | 0.048-0.069=-0.021 | | min | 2.612-2.638=-0.026 | | max | 2.734-2.811=-0.077 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.479-4813.639=-0.160 | | σ | 7.790-7.703=0.087 | | min | 4809.507-4810.044=-0.537 | | max | 4827.405-4827.418=-0.013 |
| | mean | 2832.000-2835.000=-3.000 | | σ | 0.000 | | min | 2832.000-2835.000=-3.000 | | max | 2832.000-2835.000=-3.000 |
| | mean | 9.002-8.183=0.819 | | σ | 0.452-0.640=-0.189 | | min | 8.409-7.651=0.758 | | max | 9.414-9.210=0.204 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.130-5001.139=-0.008 | | σ | 0.029-0.016=0.013 | | min | 5001.086-5001.124=-0.038 | | max | 5001.159-5001.163=-0.004 |
| | mean | 3045.600-3071.200=-25.600 | | σ | 186.811-312.686=-125.875 | | min | 2832.000-2835.000=-3.000 | | max | 3308.000-3556.000=-248.000 |
| | mean | 9.641-9.746=-0.105 | | σ | 0.512-0.022=0.490 | | min | 8.735-9.720=-0.985 | | max | 9.936-9.772=0.163 |
|