iters=5 new-facts=1 prior-facts=1 | | mean | 273.402-273.404=-0.002 | | σ | 0.012-0.010=0.002 | | min | 273.391-273.394=-0.003 | | max | 273.416-273.417=-0.001 |
| | mean | 2514.000-2509.000=5.000 | | σ | 0.000 | | min | 2514.000-2509.000=5.000 | | max | 2514.000-2509.000=5.000 |
| | mean | 0.384-0.386=-0.002 | | σ | 0.008-0.011=-0.003 | | min | 0.379-0.378=0.002 | | max | 0.399-0.399=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.832-1933.839=-0.007 | | σ | 0.012-0.003=0.009 | | min | 1933.823-1933.835=-0.012 | | max | 1933.852-1933.843=0.009 |
| | mean | 2514.000-2509.000=5.000 | | σ | 0.000 | | min | 2514.000-2509.000=5.000 | | max | 2514.000-2509.000=5.000 |
| | mean | 3.052-3.081=-0.029 | | σ | 0.113-0.178=-0.065 | | min | 2.885-2.902=-0.017 | | max | 3.187-3.370=-0.183 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.401-4754.309=0.092 | | σ | 0.805-0.884=-0.079 | | min | 4753.955-4753.788=0.167 | | max | 4755.833-4755.884=-0.050 |
| | mean | 2514.000-2509.000=5.000 | | σ | 0.000 | | min | 2514.000-2509.000=5.000 | | max | 2514.000-2509.000=5.000 |
| | mean | 8.052-8.659=-0.607 | | σ | 0.405-0.608=-0.203 | | min | 7.701-7.727=-0.025 | | max | 8.682-9.166=-0.484 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.799-4944.796=0.003 | | σ | 0.087-0.081=0.005 | | min | 4944.729-4944.723=0.006 | | max | 4944.894-4944.897=-0.003 |
| | mean | 2921.000-2941.000=-20.000 | | σ | 377.332-385.456=-8.124 | | min | 2514.000-2509.000=5.000 | | max | 3437.000-3433.000=4.000 |
| | mean | 8.462-8.571=-0.109 | | σ | 0.123-0.304=-0.180 | | min | 8.374-8.374=-0.001 | | max | 8.677-9.105=-0.429 |
|