iters=5 new-facts=1 prior-facts=1 | | mean | 286.826-286.820=0.006 | | σ | 0.036-0.037=-0.001 | | min | 286.778-286.770=0.008 | | max | 286.862-286.857=0.005 |
| | mean | 1584.000-1647.000=-63.000 | | σ | 0.000 | | min | 1584.000-1647.000=-63.000 | | max | 1584.000-1647.000=-63.000 |
| | mean | 0.395-0.393=0.002 | | σ | 0.013-0.006=0.007 | | min | 0.386-0.386=0.000 | | max | 0.419-0.400=0.019 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.275-1297.271=0.004 | | σ | 0.088-0.091=-0.003 | | min | 1297.170-1297.158=0.011 | | max | 1297.403-1297.397=0.005 |
| | mean | 1584.000-1647.000=-63.000 | | σ | 0.000 | | min | 1584.000-1647.000=-63.000 | | max | 1584.000-1647.000=-63.000 |
| | mean | 2.242-2.269=-0.027 | | σ | 0.051-0.159=-0.108 | | min | 2.175-2.139=0.036 | | max | 2.299-2.544=-0.245 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.341-1541.344=-0.003 | | σ | 6.827-6.841=-0.014 | | min | 1538.127-1538.091=0.036 | | max | 1553.551-1553.578=-0.027 |
| | mean | 1584.000-1647.000=-63.000 | | σ | 0.000 | | min | 1584.000-1647.000=-63.000 | | max | 1584.000-1647.000=-63.000 |
| | mean | 2.248-2.242=0.006 | | σ | 0.153-0.170=-0.017 | | min | 2.111-2.130=-0.020 | | max | 2.452-2.544=-0.091 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.109-1859.119=-0.010 | | σ | 0.071-0.066=0.005 | | min | 1859.023-1859.030=-0.007 | | max | 1859.192-1859.196=-0.004 |
| | mean | 1759.400-1777.400=-18.000 | | σ | 161.757-125.801=35.956 | | min | 1584.000-1647.000=-63.000 | | max | 1923.000-1902.000=21.000 |
| | mean | 2.995-3.123=-0.128 | | σ | 0.185-0.285=-0.100 | | min | 2.836-2.833=0.003 | | max | 3.305-3.550=-0.245 |
|