iters=5 new-facts=1 prior-facts=1 | | mean | 324.763-324.773=-0.010 | | σ | 0.056-0.029=0.027 | | min | 324.664-324.722=-0.058 | | max | 324.804-324.794=0.009 |
| | mean | 2829.000-2724.000=105.000 | | σ | 0.000 | | min | 2829.000-2724.000=105.000 | | max | 2829.000-2724.000=105.000 |
| | mean | 0.422-0.420=0.003 | | σ | 0.002-0.008=-0.006 | | min | 0.420-0.416=0.005 | | max | 0.426-0.433=-0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.323-1985.322=0.001 | | σ | 0.010-0.011=-0.001 | | min | 1985.314-1985.309=0.005 | | max | 1985.336-1985.337=-0.001 |
| | mean | 2829.000-2724.000=105.000 | | σ | 0.000 | | min | 2829.000-2724.000=105.000 | | max | 2829.000-2724.000=105.000 |
| | mean | 2.689-2.688=0.001 | | σ | 0.075-0.162=-0.087 | | min | 2.571-2.484=0.088 | | max | 2.773-2.910=-0.137 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.972-4808.864=0.108 | | σ | 7.799-7.775=0.024 | | min | 4805.074-4805.019=0.055 | | max | 4822.917-4822.758=0.159 |
| | mean | 2829.000-2724.000=105.000 | | σ | 0.000 | | min | 2829.000-2724.000=105.000 | | max | 2829.000-2724.000=105.000 |
| | mean | 8.913-8.782=0.132 | | σ | 0.242-0.268=-0.026 | | min | 8.588-8.451=0.136 | | max | 9.208-9.124=0.084 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.631-4996.568=0.064 | | σ | 0.020-0.142=-0.122 | | min | 4996.609-4996.317=0.293 | | max | 4996.662-4996.659=0.004 |
| | mean | 3050.200-3042.600=7.600 | | σ | 230.840-294.151=-63.311 | | min | 2829.000-2724.000=105.000 | | max | 3289.000-3338.000=-49.000 |
| | mean | 8.609-9.224=-0.615 | | σ | 0.076-0.447=-0.371 | | min | 8.495-8.587=-0.092 | | max | 8.687-9.616=-0.930 |
|