iters=5 new-facts=1 prior-facts=1 | | mean | 275.726-275.753=-0.026 | | σ | 0.002-0.010=-0.007 | | min | 275.723-275.742=-0.020 | | max | 275.728-275.765=-0.037 |
| | mean | 2848.000-2647.000=201.000 | | σ | 0.000 | | min | 2848.000-2647.000=201.000 | | max | 2848.000-2647.000=201.000 |
| | mean | 0.396-0.395=0.002 | | σ | 0.009-0.009=-0.000 | | min | 0.387-0.387=-0.000 | | max | 0.406-0.407=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.288-2168.280=0.007 | | σ | 0.009-0.005=0.003 | | min | 2168.278-2168.272=0.006 | | max | 2168.301-2168.286=0.015 |
| | mean | 2848.000-2647.000=201.000 | | σ | 0.000 | | min | 2848.000-2647.000=201.000 | | max | 2848.000-2647.000=201.000 |
| | mean | 2.929-2.909=0.020 | | σ | 0.157-0.166=-0.009 | | min | 2.744-2.701=0.043 | | max | 3.079-3.056=0.023 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.000-5048.117=-0.117 | | σ | 0.683-0.939=-0.256 | | min | 5047.541-5047.558=-0.017 | | max | 5049.210-5049.789=-0.579 |
| | mean | 2848.000-2647.000=201.000 | | σ | 0.000 | | min | 2848.000-2647.000=201.000 | | max | 2848.000-2647.000=201.000 |
| | mean | 8.916-8.858=0.059 | | σ | 0.639-0.526=0.114 | | min | 8.052-8.086=-0.034 | | max | 9.699-9.364=0.335 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.020-5179.239=-0.219 | | σ | 0.158-0.081=0.077 | | min | 5178.835-5179.162=-0.327 | | max | 5179.199-5179.341=-0.142 |
| | mean | 3253.600-3225.400=28.200 | | σ | 343.871-389.844=-45.973 | | min | 2848.000-2699.000=149.000 | | max | 3735.000-3733.000=2.000 |
| | mean | 9.628-9.920=-0.292 | | σ | 0.759-0.361=0.398 | | min | 8.737-9.468=-0.731 | | max | 10.413-10.309=0.104 |
|