iters=5 new-facts=1 prior-facts=1 | | mean | 270.238-270.238=-0.001 | | σ | 0.009-0.008=0.002 | | min | 270.224-270.228=-0.004 | | max | 270.246-270.247=-0.001 |
| | mean | 2814.000-2774.000=40.000 | | σ | 0.000 | | min | 2814.000-2774.000=40.000 | | max | 2814.000-2774.000=40.000 |
| | mean | 0.382-0.384=-0.002 | | σ | 0.008-0.009=-0.001 | | min | 0.374-0.373=0.001 | | max | 0.396-0.398=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.707-1930.699=0.008 | | σ | 0.006-0.016=-0.011 | | min | 1930.698-1930.671=0.027 | | max | 1930.714-1930.712=0.002 |
| | mean | 2814.000-2774.000=40.000 | | σ | 0.000 | | min | 2814.000-2774.000=40.000 | | max | 2814.000-2774.000=40.000 |
| | mean | 2.519-2.598=-0.079 | | σ | 0.077-0.132=-0.055 | | min | 2.446-2.478=-0.032 | | max | 2.613-2.756=-0.143 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.397-4751.098=0.299 | | σ | 0.845-0.804=0.041 | | min | 4750.919-4750.386=0.533 | | max | 4752.898-4752.408=0.490 |
| | mean | 2814.000-2774.000=40.000 | | σ | 0.000 | | min | 2814.000-2774.000=40.000 | | max | 2814.000-2774.000=40.000 |
| | mean | 8.436-8.366=0.070 | | σ | 0.450-0.644=-0.193 | | min | 7.862-7.754=0.108 | | max | 8.918-9.299=-0.381 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.870-4941.804=0.066 | | σ | 0.019-0.139=-0.121 | | min | 4941.851-4941.557=0.294 | | max | 4941.894-4941.886=0.008 |
| | mean | 3029.000-3017.800=11.200 | | σ | 215.841-302.626=-86.784 | | min | 2814.000-2774.000=40.000 | | max | 3319.000-3470.000=-151.000 |
| | mean | 8.552-8.520=0.032 | | σ | 0.169-0.148=0.021 | | min | 8.361-8.373=-0.013 | | max | 8.805-8.722=0.083 |
|