iters=5 new-facts=1 prior-facts=1 | | mean | 274.366-274.369=-0.003 | | σ | 0.004-0.008=-0.004 | | min | 274.362-274.361=0.001 | | max | 274.369-274.381=-0.011 |
| | mean | 2844.000-2422.000=422.000 | | σ | 0.000 | | min | 2844.000-2422.000=422.000 | | max | 2844.000-2422.000=422.000 |
| | mean | 0.385-0.384=0.001 | | σ | 0.005-0.004=0.001 | | min | 0.381-0.382=-0.001 | | max | 0.393-0.392=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.749-1934.752=-0.002 | | σ | 0.014-0.012=0.002 | | min | 1934.726-1934.736=-0.010 | | max | 1934.761-1934.768=-0.007 |
| | mean | 2844.000-2422.000=422.000 | | σ | 0.000 | | min | 2844.000-2422.000=422.000 | | max | 2844.000-2422.000=422.000 |
| | mean | 2.991-3.032=-0.041 | | σ | 0.088-0.057=0.032 | | min | 2.861-2.994=-0.133 | | max | 3.109-3.131=-0.022 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4755.373-4755.474=-0.100 | | σ | 0.665-0.904=-0.238 | | min | 4754.995-4755.000=-0.005 | | max | 4756.546-4757.084=-0.538 |
| | mean | 2844.000-2422.000=422.000 | | σ | 0.000 | | min | 2844.000-2422.000=422.000 | | max | 2844.000-2422.000=422.000 |
| | mean | 8.682-8.768=-0.085 | | σ | 0.539-0.329=0.210 | | min | 7.954-8.299=-0.346 | | max | 9.117-9.045=0.072 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.989-4945.912=0.076 | | σ | 0.019-0.174=-0.154 | | min | 4945.971-4945.604=0.367 | | max | 4946.011-4946.012=-0.001 |
| | mean | 3019.400-2955.000=64.400 | | σ | 192.557-269.805=-77.248 | | min | 2844.000-2588.000=256.000 | | max | 3311.000-3303.000=8.000 |
| | mean | 8.549-8.452=0.097 | | σ | 0.096-0.041=0.054 | | min | 8.437-8.387=0.050 | | max | 8.665-8.490=0.175 |
|