iters=5 new-facts=1 prior-facts=1 | | mean | 324.762-324.694=0.068 | | σ | 0.056-0.047=0.010 | | min | 324.662-324.612=0.051 | | max | 324.800-324.727=0.074 |
| | mean | 2847.000-2824.000=23.000 | | σ | 0.000 | | min | 2847.000-2824.000=23.000 | | max | 2847.000-2824.000=23.000 |
| | mean | 0.432-0.429=0.003 | | σ | 0.008-0.007=0.001 | | min | 0.422-0.422=-0.000 | | max | 0.440-0.439=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.317-1985.252=0.066 | | σ | 0.016-0.013=0.004 | | min | 1985.291-1985.237=0.054 | | max | 1985.330-1985.265=0.065 |
| | mean | 2847.000-2824.000=23.000 | | σ | 0.000 | | min | 2847.000-2824.000=23.000 | | max | 2847.000-2824.000=23.000 |
| | mean | 2.621-2.593=0.028 | | σ | 0.068-0.108=-0.040 | | min | 2.551-2.452=0.099 | | max | 2.715-2.742=-0.027 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.106-4808.535=0.571 | | σ | 7.628-7.903=-0.276 | | min | 4805.595-4804.188=1.407 | | max | 4822.749-4822.637=0.113 |
| | mean | 2847.000-2824.000=23.000 | | σ | 0.000 | | min | 2847.000-2824.000=23.000 | | max | 2847.000-2824.000=23.000 |
| | mean | 8.935-8.566=0.369 | | σ | 0.456-0.664=-0.208 | | min | 8.367-7.769=0.599 | | max | 9.633-9.134=0.498 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.629-4996.384=0.245 | | σ | 0.023-0.165=-0.143 | | min | 4996.598-4996.090=0.508 | | max | 4996.653-4996.471=0.182 |
| | mean | 3056.600-3040.400=16.200 | | σ | 226.085-291.934=-65.849 | | min | 2847.000-2824.000=23.000 | | max | 3393.000-3498.000=-105.000 |
| | mean | 8.751-8.505=0.247 | | σ | 0.170-0.106=0.063 | | min | 8.496-8.419=0.076 | | max | 8.958-8.685=0.274 |
|