iters=5 new-facts=1 prior-facts=1 | | mean | 324.592-324.588=0.004 | | σ | 0.030-0.040=-0.010 | | min | 324.541-324.517=0.024 | | max | 324.619-324.613=0.006 |
| | mean | 2844.000-2428.000=416.000 | | σ | 0.000 | | min | 2844.000-2428.000=416.000 | | max | 2844.000-2428.000=416.000 |
| | mean | 0.421-0.420=0.001 | | σ | 0.002-0.008=-0.006 | | min | 0.418-0.406=0.012 | | max | 0.423-0.424=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.142-1985.137=0.006 | | σ | 0.005-0.013=-0.008 | | min | 1985.136-1985.124=0.013 | | max | 1985.149-1985.152=-0.003 |
| | mean | 2844.000-2428.000=416.000 | | σ | 0.000 | | min | 2844.000-2428.000=416.000 | | max | 2844.000-2428.000=416.000 |
| | mean | 2.627-2.608=0.019 | | σ | 0.077-0.103=-0.027 | | min | 2.561-2.498=0.062 | | max | 2.721-2.771=-0.050 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.818-4808.627=0.191 | | σ | 7.627-7.731=-0.104 | | min | 4805.212-4804.686=0.526 | | max | 4822.458-4822.446=0.011 |
| | mean | 2844.000-2428.000=416.000 | | σ | 0.000 | | min | 2844.000-2428.000=416.000 | | max | 2844.000-2428.000=416.000 |
| | mean | 8.782-8.532=0.250 | | σ | 0.795-0.480=0.314 | | min | 7.662-7.791=-0.129 | | max | 9.814-8.954=0.860 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.341-4996.277=0.064 | | σ | 0.019-0.153=-0.134 | | min | 4996.315-4996.004=0.311 | | max | 4996.367-4996.361=0.006 |
| | mean | 3071.800-2930.400=141.400 | | σ | 230.325-420.749=-190.424 | | min | 2844.000-2461.000=383.000 | | max | 3415.000-3497.000=-82.000 |
| | mean | 8.817-8.509=0.309 | | σ | 0.155-0.101=0.055 | | min | 8.639-8.379=0.260 | | max | 9.058-8.654=0.405 |
|