iters=5 new-facts=1 prior-facts=1 | | mean | 326.439-324.766=1.672 | | σ | 0.058-0.050=0.009 | | min | 326.335-324.678=1.658 | | max | 326.480-324.795=1.684 |
| | mean | 2612.000-2429.000=183.000 | | σ | 0.000 | | min | 2612.000-2429.000=183.000 | | max | 2612.000-2429.000=183.000 |
| | mean | 0.424-0.431=-0.007 | | σ | 0.006-0.012=-0.006 | | min | 0.420-0.421=-0.001 | | max | 0.435-0.448=-0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.597-1985.319=3.278 | | σ | 0.003-0.013=-0.010 | | min | 1988.594-1985.305=3.288 | | max | 1988.601-1985.334=3.268 |
| | mean | 2612.000-2429.000=183.000 | | σ | 0.000 | | min | 2612.000-2429.000=183.000 | | max | 2612.000-2429.000=183.000 |
| | mean | 2.735-2.624=0.111 | | σ | 0.121-0.096=0.025 | | min | 2.635-2.535=0.100 | | max | 2.931-2.739=0.192 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.332-4808.980=4.352 | | σ | 7.778-7.745=0.033 | | min | 4809.455-4805.008=4.447 | | max | 4827.240-4822.824=4.416 |
| | mean | 2612.000-2429.000=183.000 | | σ | 0.000 | | min | 2612.000-2429.000=183.000 | | max | 2612.000-2429.000=183.000 |
| | mean | 8.977-8.930=0.047 | | σ | 0.359-0.424=-0.065 | | min | 8.364-8.587=-0.222 | | max | 9.242-9.613=-0.371 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.010-4996.632=4.378 | | σ | 0.022-0.013=0.009 | | min | 5000.986-4996.614=4.372 | | max | 5001.029-4996.646=4.383 |
| | mean | 3015.800-2995.400=20.400 | | σ | 305.686-324.019=-18.333 | | min | 2612.000-2571.000=41.000 | | max | 3410.000-3408.000=2.000 |
| | mean | 9.781-8.612=1.169 | | σ | 0.156-0.108=0.048 | | min | 9.599-8.491=1.108 | | max | 9.992-8.716=1.276 |
|