iters=5 new-facts=1 prior-facts=1 | | mean | 275.758-275.764=-0.006 | | σ | 0.005-0.013=-0.007 | | min | 275.750-275.748=0.002 | | max | 275.763-275.781=-0.018 |
| | mean | 2858.000-2508.000=350.000 | | σ | 0.000 | | min | 2858.000-2508.000=350.000 | | max | 2858.000-2508.000=350.000 |
| | mean | 0.392-0.403=-0.012 | | σ | 0.009-0.008=0.001 | | min | 0.385-0.397=-0.012 | | max | 0.408-0.416=-0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.287-2168.291=-0.004 | | σ | 0.009-0.017=-0.008 | | min | 2168.279-2168.269=0.009 | | max | 2168.301-2168.310=-0.009 |
| | mean | 2858.000-2508.000=350.000 | | σ | 0.000 | | min | 2858.000-2508.000=350.000 | | max | 2858.000-2508.000=350.000 |
| | mean | 2.836-2.874=-0.038 | | σ | 0.079-0.115=-0.037 | | min | 2.757-2.774=-0.017 | | max | 2.951-3.003=-0.053 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4889.254-4889.187=0.066 | | σ | 354.515-355.850=-1.335 | | min | 4255.077-4252.625=2.452 | | max | 5048.163-5049.760=-1.597 |
| | mean | 2858.000-2508.000=350.000 | | σ | 0.000 | | min | 2858.000-2508.000=350.000 | | max | 2858.000-2508.000=350.000 |
| | mean | 8.530-8.546=-0.016 | | σ | 0.618-0.712=-0.095 | | min | 7.520-7.498=0.023 | | max | 9.150-9.262=-0.112 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.238-5179.168=0.070 | | σ | 0.090-0.204=-0.114 | | min | 5179.169-5178.819=0.349 | | max | 5179.349-5179.317=0.032 |
| | mean | 3187.400-3080.600=106.800 | | σ | 334.764-461.709=-126.945 | | min | 2858.000-2515.000=343.000 | | max | 3704.000-3711.000=-7.000 |
| | mean | 9.918-9.794=0.123 | | σ | 0.135-0.181=-0.045 | | min | 9.711-9.584=0.127 | | max | 10.072-10.068=0.004 |
|