iters=5 new-facts=1 prior-facts=1 | | mean | 337.088-326.632=10.456 | | σ | 18.105-0.061=18.043 | | min | 304.702-326.523=-21.821 | | max | 345.233-326.671=18.563 |
| | mean | 2766.000-2760.000=6.000 | | σ | 0.000 | | min | 2766.000-2760.000=6.000 | | max | 2766.000-2760.000=6.000 |
| | mean | 0.436-0.429=0.007 | | σ | 0.028-0.006=0.023 | | min | 0.386-0.424=-0.038 | | max | 0.455-0.439=0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2007.367-1988.799=18.568 | | σ | 0.011-0.015=-0.004 | | min | 2007.350-1988.782=18.568 | | max | 2007.378-1988.820=18.558 |
| | mean | 2766.000-2760.000=6.000 | | σ | 0.000 | | min | 2766.000-2760.000=6.000 | | max | 2766.000-2760.000=6.000 |
| | mean | 2.778-2.679=0.099 | | σ | 0.133-0.143=-0.010 | | min | 2.683-2.576=0.107 | | max | 3.010-2.926=0.084 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4832.148-4813.553=18.595 | | σ | 7.809-7.513=0.296 | | min | 4828.173-4810.142=18.030 | | max | 4846.107-4826.992=19.115 |
| | mean | 2766.000-2760.000=6.000 | | σ | 0.000 | | min | 2766.000-2760.000=6.000 | | max | 2766.000-2760.000=6.000 |
| | mean | 8.687-8.923=-0.236 | | σ | 0.687-0.444=0.242 | | min | 7.762-8.467=-0.705 | | max | 9.334-9.539=-0.204 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5019.703-5001.131=18.571 | | σ | 0.162-0.156=0.005 | | min | 5019.416-5000.855=18.561 | | max | 5019.791-5001.231=18.561 |
| | mean | 2992.200-2989.200=3.000 | | σ | 222.365-228.327=-5.962 | | min | 2766.000-2760.000=6.000 | | max | 3314.000-3322.000=-8.000 |
| | mean | 9.805-9.645=0.160 | | σ | 0.165-0.182=-0.017 | | min | 9.578-9.460=0.118 | | max | 10.038-9.901=0.137 |
|