iters=5 new-facts=1 prior-facts=1 | | mean | 326.576-326.435=0.142 | | σ | 0.051-0.057=-0.006 | | min | 326.485-326.338=0.147 | | max | 326.607-326.473=0.134 |
| | mean | 2849.000-2838.000=11.000 | | σ | 0.000 | | min | 2849.000-2838.000=11.000 | | max | 2849.000-2838.000=11.000 |
| | mean | 0.435-0.427=0.008 | | σ | 0.013-0.006=0.006 | | min | 0.423-0.419=0.003 | | max | 0.449-0.436=0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.740-1988.615=0.125 | | σ | 0.007-0.005=0.002 | | min | 1988.734-1988.610=0.124 | | max | 1988.750-1988.622=0.128 |
| | mean | 2849.000-2838.000=11.000 | | σ | 0.000 | | min | 2849.000-2838.000=11.000 | | max | 2849.000-2838.000=11.000 |
| | mean | 2.701-2.718=-0.017 | | σ | 0.052-0.134=-0.082 | | min | 2.657-2.623=0.034 | | max | 2.789-2.938=-0.149 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.545-4813.338=0.206 | | σ | 7.484-7.477=0.007 | | min | 4810.026-4809.984=0.042 | | max | 4826.928-4826.713=0.215 |
| | mean | 2849.000-2838.000=11.000 | | σ | 0.000 | | min | 2849.000-2838.000=11.000 | | max | 2849.000-2838.000=11.000 |
| | mean | 8.547-8.926=-0.379 | | σ | 0.865-0.244=0.621 | | min | 7.815-8.557=-0.742 | | max | 9.561-9.150=0.412 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.139-5000.945=0.193 | | σ | 0.022-0.162=-0.139 | | min | 5001.113-5000.660=0.453 | | max | 5001.167-5001.058=0.108 |
| | mean | 3061.000-3050.600=10.400 | | σ | 285.668-187.264=98.404 | | min | 2849.000-2838.000=11.000 | | max | 3505.000-3314.000=191.000 |
| | mean | 9.697-9.765=-0.068 | | σ | 0.099-0.308=-0.209 | | min | 9.558-9.270=0.288 | | max | 9.799-10.045=-0.245 |
|