iters=5 new-facts=1 prior-facts=1 | | mean | 324.008-272.756=51.252 | | σ | 0.052-0.006=0.047 | | min | 323.915-272.749=51.166 | | max | 324.034-272.762=51.272 |
| | mean | 2892.000-2774.000=118.000 | | σ | 0.000 | | min | 2892.000-2774.000=118.000 | | max | 2892.000-2774.000=118.000 |
| | mean | 0.426-0.380=0.046 | | σ | 0.001-0.002=-0.001 | | min | 0.425-0.379=0.046 | | max | 0.427-0.383=0.044 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.579-1933.159=51.419 | | σ | 0.012-0.012=-0.000 | | min | 1984.568-1933.146=51.422 | | max | 1984.594-1933.178=51.416 |
| | mean | 2892.000-2774.000=118.000 | | σ | 0.000 | | min | 2892.000-2774.000=118.000 | | max | 2892.000-2774.000=118.000 |
| | mean | 2.608-3.094=-0.486 | | σ | 0.080-0.117=-0.037 | | min | 2.539-2.989=-0.450 | | max | 2.710-3.273=-0.563 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.118-4756.897=51.222 | | σ | 7.520-7.595=-0.075 | | min | 4804.738-4753.419=51.319 | | max | 4821.570-4770.482=51.088 |
| | mean | 2892.000-2774.000=118.000 | | σ | 0.000 | | min | 2892.000-2774.000=118.000 | | max | 2892.000-2774.000=118.000 |
| | mean | 8.761-8.711=0.051 | | σ | 0.164-0.290=-0.127 | | min | 8.612-8.334=0.278 | | max | 8.952-9.101=-0.149 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.805-4944.252=51.553 | | σ | 0.016-0.187=-0.171 | | min | 4995.788-4944.047=51.741 | | max | 4995.819-4944.412=51.407 |
| | mean | 3020.800-2998.600=22.200 | | σ | 203.297-286.518=-83.221 | | min | 2892.000-2774.000=118.000 | | max | 3357.000-3434.000=-77.000 |
| | mean | 8.604-8.393=0.211 | | σ | 0.168-0.042=0.126 | | min | 8.462-8.360=0.102 | | max | 8.881-8.447=0.434 |
|