iters=5 new-facts=1 prior-facts=1 | | mean | 279.509-279.512=-0.002 | | σ | 0.007-0.007=-0.000 | | min | 279.500-279.503=-0.004 | | max | 279.517-279.519=-0.002 |
| | mean | 2767.000-2752.000=15.000 | | σ | 0.000 | | min | 2767.000-2752.000=15.000 | | max | 2767.000-2752.000=15.000 |
| | mean | 0.408-0.408=-0.000 | | σ | 0.001-0.006=-0.005 | | min | 0.406-0.404=0.001 | | max | 0.409-0.418=-0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.429-2178.398=0.031 | | σ | 0.040-0.083=-0.044 | | min | 2178.358-2178.251=0.108 | | max | 2178.455-2178.453=0.002 |
| | mean | 2767.000-2752.000=15.000 | | σ | 0.000 | | min | 2767.000-2752.000=15.000 | | max | 2767.000-2752.000=15.000 |
| | mean | 3.316-3.419=-0.104 | | σ | 0.185-0.199=-0.013 | | min | 2.996-3.231=-0.236 | | max | 3.469-3.722=-0.254 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.276-5056.128=0.148 | | σ | 0.744-1.147=-0.404 | | min | 5055.777-5055.234=0.543 | | max | 5057.593-5058.113=-0.521 |
| | mean | 2767.000-2752.000=15.000 | | σ | 0.000 | | min | 2767.000-2752.000=15.000 | | max | 2767.000-2752.000=15.000 |
| | mean | 8.789-9.004=-0.215 | | σ | 0.655-0.596=0.059 | | min | 8.279-8.052=0.227 | | max | 9.823-9.530=0.293 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.761-5193.746=0.015 | | σ | 0.087-0.093=-0.006 | | min | 5193.695-5193.665=0.030 | | max | 5193.857-5193.856=0.001 |
| | mean | 3288.800-3185.000=103.800 | | σ | 395.904-429.580=-33.676 | | min | 2767.000-2752.000=15.000 | | max | 3670.000-3790.000=-120.000 |
| | mean | 8.858-8.717=0.140 | | σ | 0.086-0.110=-0.024 | | min | 8.740-8.629=0.111 | | max | 8.954-8.894=0.059 |
|