iters=5 new-facts=1 prior-facts=1 | | mean | 277.199-278.828=-1.629 | | σ | 0.002-0.005=-0.003 | | min | 277.196-278.822=-1.626 | | max | 277.201-278.834=-1.633 |
| | mean | 2659.000-2730.000=-71.000 | | σ | 0.000 | | min | 2659.000-2730.000=-71.000 | | max | 2659.000-2730.000=-71.000 |
| | mean | 0.413-0.418=-0.005 | | σ | 0.010-0.007=0.003 | | min | 0.403-0.408=-0.005 | | max | 0.423-0.426=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.430-2268.888=-94.458 | | σ | 0.016-0.011=0.005 | | min | 2174.402-2268.878=-94.476 | | max | 2174.444-2268.907=-94.463 |
| | mean | 2659.000-2730.000=-71.000 | | σ | 0.000 | | min | 2659.000-2730.000=-71.000 | | max | 2659.000-2730.000=-71.000 |
| | mean | 2.944-3.125=-0.180 | | σ | 0.125-0.132=-0.007 | | min | 2.807-2.960=-0.153 | | max | 3.074-3.239=-0.165 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.640-4954.173=98.468 | | σ | 0.899-1.051=-0.152 | | min | 5052.150-4953.106=99.044 | | max | 5054.245-4955.933=98.312 |
| | mean | 2659.000-2730.000=-71.000 | | σ | 0.000 | | min | 2659.000-2730.000=-71.000 | | max | 2659.000-2730.000=-71.000 |
| | mean | 8.792-8.013=0.779 | | σ | 0.601-0.334=0.267 | | min | 7.982-7.740=0.242 | | max | 9.653-8.584=1.070 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.406-5168.759=19.647 | | σ | 0.098-0.140=-0.042 | | min | 5188.292-5168.556=19.736 | | max | 5188.517-5168.896=19.621 |
| | mean | 3209.000-3429.200=-220.200 | | σ | 478.003-503.364=-25.361 | | min | 2659.000-2837.000=-178.000 | | max | 3855.000-4171.000=-316.000 |
| | mean | 8.959-9.547=-0.588 | | σ | 0.466-0.173=0.293 | | min | 8.658-9.346=-0.688 | | max | 9.780-9.798=-0.018 |
|