iters=5 new-facts=1 prior-facts=1 | | mean | 324.581-324.587=-0.006 | | σ | 0.058-0.047=0.010 | | min | 324.480-324.503=-0.024 | | max | 324.618-324.621=-0.004 |
| | mean | 2838.000-2826.000=12.000 | | σ | 0.000 | | min | 2838.000-2826.000=12.000 | | max | 2838.000-2826.000=12.000 |
| | mean | 0.429-0.424=0.005 | | σ | 0.009-0.002=0.007 | | min | 0.422-0.422=0.000 | | max | 0.444-0.427=0.017 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.140-1985.141=-0.001 | | σ | 0.007-0.008=-0.001 | | min | 1985.132-1985.133=-0.001 | | max | 1985.149-1985.151=-0.002 |
| | mean | 2838.000-2826.000=12.000 | | σ | 0.000 | | min | 2838.000-2826.000=12.000 | | max | 2838.000-2826.000=12.000 |
| | mean | 2.600-2.625=-0.025 | | σ | 0.047-0.072=-0.026 | | min | 2.561-2.568=-0.007 | | max | 2.659-2.714=-0.054 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.762-4808.687=0.075 | | σ | 7.727-7.682=0.045 | | min | 4805.217-4804.663=0.554 | | max | 4822.585-4822.414=0.171 |
| | mean | 2838.000-2826.000=12.000 | | σ | 0.000 | | min | 2838.000-2826.000=12.000 | | max | 2838.000-2826.000=12.000 |
| | mean | 8.944-8.716=0.228 | | σ | 0.353-0.761=-0.408 | | min | 8.485-7.489=0.996 | | max | 9.399-9.453=-0.054 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.345-4996.276=0.069 | | σ | 0.018-0.147=-0.129 | | min | 4996.324-4996.015=0.309 | | max | 4996.370-4996.365=0.005 |
| | mean | 3058.400-3026.000=32.400 | | σ | 210.215-203.470=6.745 | | min | 2838.000-2826.000=12.000 | | max | 3368.000-3306.000=62.000 |
| | mean | 8.815-8.667=0.149 | | σ | 0.236-0.234=0.003 | | min | 8.556-8.433=0.123 | | max | 9.055-9.029=0.026 |
|