iters=5 new-facts=1 prior-facts=1 | | mean | 279.542-278.941=0.601 | | σ | 0.008-0.010=-0.002 | | min | 279.532-278.931=0.601 | | max | 279.549-278.953=0.596 |
| | mean | 2756.000-2817.000=-61.000 | | σ | 0.000 | | min | 2756.000-2817.000=-61.000 | | max | 2756.000-2817.000=-61.000 |
| | mean | 0.410-0.408=0.002 | | σ | 0.006-0.005=0.001 | | min | 0.407-0.403=0.005 | | max | 0.421-0.413=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.464-2177.854=0.610 | | σ | 0.026-0.030=-0.004 | | min | 2178.434-2177.822=0.613 | | max | 2178.500-2177.896=0.604 |
| | mean | 2756.000-2817.000=-61.000 | | σ | 0.000 | | min | 2756.000-2817.000=-61.000 | | max | 2756.000-2817.000=-61.000 |
| | mean | 3.449-3.390=0.059 | | σ | 0.089-0.209=-0.121 | | min | 3.316-3.156=0.160 | | max | 3.560-3.640=-0.080 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.168-5055.791=0.376 | | σ | 1.156-0.942=0.215 | | min | 5055.229-5055.235=-0.006 | | max | 5058.164-5057.466=0.697 |
| | mean | 2756.000-2817.000=-61.000 | | σ | 0.000 | | min | 2756.000-2817.000=-61.000 | | max | 2756.000-2817.000=-61.000 |
| | mean | 9.029-8.531=0.498 | | σ | 0.629-0.503=0.126 | | min | 8.124-8.092=0.031 | | max | 9.725-9.193=0.532 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.509-5193.167=0.342 | | σ | 0.373-0.099=0.274 | | min | 5193.018-5193.048=-0.031 | | max | 5193.886-5193.279=0.608 |
| | mean | 3236.400-3230.200=6.200 | | σ | 348.902-424.920=-76.017 | | min | 2756.000-2817.000=-61.000 | | max | 3671.000-3844.000=-173.000 |
| | mean | 9.009-8.865=0.144 | | σ | 0.382-0.257=0.125 | | min | 8.699-8.629=0.070 | | max | 9.646-9.220=0.426 |
|