iters=5 new-facts=1 prior-facts=1 | | mean | 277.387-275.760=1.627 | | σ | 0.005-0.005=-0.001 | | min | 277.380-275.752=1.627 | | max | 277.392-275.765=1.627 |
| | mean | 2608.000-2634.000=-26.000 | | σ | 0.000 | | min | 2608.000-2634.000=-26.000 | | max | 2608.000-2634.000=-26.000 |
| | mean | 0.396-0.394=0.002 | | σ | 0.007-0.009=-0.002 | | min | 0.392-0.386=0.007 | | max | 0.408-0.405=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.629-2168.296=6.333 | | σ | 0.025-0.005=0.020 | | min | 2174.606-2168.289=6.318 | | max | 2174.672-2168.301=6.371 |
| | mean | 2608.000-2634.000=-26.000 | | σ | 0.000 | | min | 2608.000-2634.000=-26.000 | | max | 2608.000-2634.000=-26.000 |
| | mean | 2.851-3.045=-0.194 | | σ | 0.170-0.277=-0.107 | | min | 2.760-2.778=-0.018 | | max | 3.154-3.473=-0.319 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.588-5047.976=4.611 | | σ | 0.417-1.027=-0.610 | | min | 5052.300-5047.157=5.142 | | max | 5053.316-5049.769=3.547 |
| | mean | 2608.000-2634.000=-26.000 | | σ | 0.000 | | min | 2608.000-2634.000=-26.000 | | max | 2608.000-2634.000=-26.000 |
| | mean | 8.571-8.735=-0.164 | | σ | 0.633-0.440=0.193 | | min | 8.041-8.034=0.008 | | max | 9.636-9.128=0.509 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.608-5179.246=9.362 | | σ | 0.091-0.087=0.004 | | min | 5188.533-5179.162=9.371 | | max | 5188.712-5179.352=9.360 |
| | mean | 3226.800-3221.200=5.600 | | σ | 536.736-385.864=150.873 | | min | 2608.000-2681.000=-73.000 | | max | 3984.000-3704.000=280.000 |
| | mean | 8.757-10.029=-1.272 | | σ | 0.221-0.337=-0.116 | | min | 8.609-9.485=-0.876 | | max | 9.147-10.331=-1.184 |
|