iters=5 new-facts=1 prior-facts=1 | | mean | 324.709-324.718=-0.009 | | σ | 0.042-0.030=0.012 | | min | 324.635-324.666=-0.031 | | max | 324.730-324.742=-0.012 |
| | mean | 2813.000-2829.000=-16.000 | | σ | 0.000 | | min | 2813.000-2829.000=-16.000 | | max | 2813.000-2829.000=-16.000 |
| | mean | 0.425-0.424=0.001 | | σ | 0.001-0.003=-0.002 | | min | 0.424-0.422=0.002 | | max | 0.426-0.429=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.251-1985.253=-0.002 | | σ | 0.016-0.016=-0.001 | | min | 1985.231-1985.231=-0.000 | | max | 1985.265-1985.271=-0.006 |
| | mean | 2813.000-2829.000=-16.000 | | σ | 0.000 | | min | 2813.000-2829.000=-16.000 | | max | 2813.000-2829.000=-16.000 |
| | mean | 2.605-2.641=-0.036 | | σ | 0.086-0.119=-0.033 | | min | 2.530-2.555=-0.025 | | max | 2.750-2.830=-0.080 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.865-4808.858=0.007 | | σ | 7.692-7.671=0.021 | | min | 4805.406-4805.385=0.022 | | max | 4822.625-4822.580=0.044 |
| | mean | 2813.000-2829.000=-16.000 | | σ | 0.000 | | min | 2813.000-2829.000=-16.000 | | max | 2813.000-2829.000=-16.000 |
| | mean | 8.935-8.828=0.107 | | σ | 0.126-0.122=0.004 | | min | 8.796-8.650=0.146 | | max | 9.061-8.988=0.073 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.394-4996.459=-0.065 | | σ | 0.152-0.025=0.128 | | min | 4996.122-4996.421=-0.299 | | max | 4996.478-4996.482=-0.005 |
| | mean | 3033.600-3063.400=-29.800 | | σ | 215.324-306.458=-91.135 | | min | 2813.000-2829.000=-16.000 | | max | 3354.000-3537.000=-183.000 |
| | mean | 8.743-8.495=0.248 | | σ | 0.171-0.126=0.045 | | min | 8.491-8.334=0.157 | | max | 8.930-8.682=0.248 |
|