iters=5 new-facts=1 prior-facts=1 | | mean | 277.387-277.387=-0.000 | | σ | 0.005-0.005=-0.001 | | min | 277.380-277.383=-0.003 | | max | 277.392-277.396=-0.004 |
| | mean | 2608.000-2615.000=-7.000 | | σ | 0.000 | | min | 2608.000-2615.000=-7.000 | | max | 2608.000-2615.000=-7.000 |
| | mean | 0.396-0.394=0.001 | | σ | 0.007-0.001=0.007 | | min | 0.392-0.393=-0.001 | | max | 0.408-0.395=0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.629-2174.634=-0.005 | | σ | 0.025-0.012=0.013 | | min | 2174.606-2174.624=-0.017 | | max | 2174.672-2174.650=0.022 |
| | mean | 2608.000-2615.000=-7.000 | | σ | 0.000 | | min | 2608.000-2615.000=-7.000 | | max | 2608.000-2615.000=-7.000 |
| | mean | 2.851-2.972=-0.122 | | σ | 0.170-0.147=0.023 | | min | 2.760-2.754=0.006 | | max | 3.154-3.158=-0.004 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.588-5052.673=-0.086 | | σ | 0.417-1.083=-0.666 | | min | 5052.300-5051.691=0.609 | | max | 5053.316-5054.530=-1.214 |
| | mean | 2608.000-2615.000=-7.000 | | σ | 0.000 | | min | 2608.000-2615.000=-7.000 | | max | 2608.000-2615.000=-7.000 |
| | mean | 8.571-9.209=-0.638 | | σ | 0.633-0.388=0.245 | | min | 8.041-8.820=-0.778 | | max | 9.636-9.692=-0.056 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.608-5188.552=0.056 | | σ | 0.091-0.211=-0.120 | | min | 5188.533-5188.201=0.332 | | max | 5188.712-5188.720=-0.008 |
| | mean | 3226.800-3221.600=5.200 | | σ | 536.736-380.772=155.964 | | min | 2608.000-2685.000=-77.000 | | max | 3984.000-3695.000=289.000 |
| | mean | 8.757-8.914=-0.157 | | σ | 0.221-0.285=-0.064 | | min | 8.609-8.693=-0.083 | | max | 9.147-9.382=-0.235 |
|