iters=5 new-facts=1 prior-facts=1 | | mean | 344.929-345.171=-0.242 | | σ | 0.068-0.057=0.012 | | min | 344.807-345.070=-0.263 | | max | 344.965-345.204=-0.239 |
| | mean | 2762.000-2752.000=10.000 | | σ | 0.000 | | min | 2762.000-2752.000=10.000 | | max | 2762.000-2752.000=10.000 |
| | mean | 0.458-0.444=0.015 | | σ | 0.011-0.010=0.001 | | min | 0.444-0.438=0.006 | | max | 0.470-0.462=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2007.097-2007.364=-0.268 | | σ | 0.010-0.011=-0.001 | | min | 2007.082-2007.352=-0.269 | | max | 2007.105-2007.381=-0.276 |
| | mean | 2762.000-2752.000=10.000 | | σ | 0.000 | | min | 2762.000-2752.000=10.000 | | max | 2762.000-2752.000=10.000 |
| | mean | 2.734-2.767=-0.032 | | σ | 0.034-0.109=-0.074 | | min | 2.685-2.662=0.023 | | max | 2.766-2.944=-0.178 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4831.981-4832.114=-0.133 | | σ | 7.747-7.771=-0.023 | | min | 4828.427-4828.236=0.191 | | max | 4845.839-4846.008=-0.169 |
| | mean | 2762.000-2752.000=10.000 | | σ | 0.000 | | min | 2762.000-2752.000=10.000 | | max | 2762.000-2752.000=10.000 |
| | mean | 8.459-8.351=0.108 | | σ | 0.549-0.499=0.050 | | min | 7.846-7.875=-0.029 | | max | 9.154-9.148=0.006 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5019.496-5019.707=-0.211 | | σ | 0.020-0.152=-0.133 | | min | 5019.475-5019.437=0.039 | | max | 5019.521-5019.797=-0.276 |
| | mean | 3004.200-3011.800=-7.600 | | σ | 299.670-306.889=-7.219 | | min | 2762.000-2752.000=10.000 | | max | 3448.000-3451.000=-3.000 |
| | mean | 9.387-9.739=-0.352 | | σ | 0.527-0.496=0.031 | | min | 8.619-8.901=-0.282 | | max | 9.913-10.116=-0.203 |
|