iters=5 new-facts=1 prior-facts=1 | | mean | 324.013-272.791=51.222 | | σ | 0.055-0.006=0.048 | | min | 323.916-272.785=51.131 | | max | 324.043-272.799=51.244 |
| | mean | 2521.000-2503.000=18.000 | | σ | 0.000 | | min | 2521.000-2503.000=18.000 | | max | 2521.000-2503.000=18.000 |
| | mean | 0.428-0.376=0.052 | | σ | 0.005-0.001=0.004 | | min | 0.425-0.375=0.050 | | max | 0.437-0.378=0.060 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.592-1933.222=51.370 | | σ | 0.022-0.010=0.012 | | min | 1984.555-1933.212=51.344 | | max | 1984.607-1933.238=51.370 |
| | mean | 2521.000-2503.000=18.000 | | σ | 0.000 | | min | 2521.000-2503.000=18.000 | | max | 2521.000-2503.000=18.000 |
| | mean | 2.613-2.989=-0.376 | | σ | 0.104-0.142=-0.037 | | min | 2.491-2.755=-0.265 | | max | 2.744-3.102=-0.358 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.226-4756.816=51.410 | | σ | 7.815-7.610=0.205 | | min | 4804.651-4752.878=51.772 | | max | 4822.205-4770.417=51.789 |
| | mean | 2521.000-2503.000=18.000 | | σ | 0.000 | | min | 2521.000-2503.000=18.000 | | max | 2521.000-2503.000=18.000 |
| | mean | 8.857-8.674=0.183 | | σ | 0.136-0.378=-0.242 | | min | 8.646-8.163=0.483 | | max | 9.026-9.073=-0.047 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.666-4944.447=51.219 | | σ | 0.181-0.012=0.169 | | min | 4995.467-4944.433=51.034 | | max | 4995.825-4944.465=51.360 |
| | mean | 2992.600-2971.200=21.400 | | σ | 300.319-271.021=29.298 | | min | 2584.000-2623.000=-39.000 | | max | 3362.000-3332.000=30.000 |
| | mean | 8.685-8.537=0.147 | | σ | 0.147-0.087=0.059 | | min | 8.543-8.443=0.100 | | max | 8.928-8.669=0.259 |
|