iters=5 new-facts=1 prior-facts=1 | | mean | 279.543-279.541=0.002 | | σ | 0.010-0.009=0.001 | | min | 279.530-279.528=0.002 | | max | 279.551-279.552=-0.001 |
| | mean | 2745.000-2833.000=-88.000 | | σ | 0.000 | | min | 2745.000-2833.000=-88.000 | | max | 2745.000-2833.000=-88.000 |
| | mean | 0.409-0.414=-0.004 | | σ | 0.006-0.009=-0.004 | | min | 0.405-0.404=0.000 | | max | 0.417-0.427=-0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.471-2178.456=0.015 | | σ | 0.009-0.015=-0.006 | | min | 2178.459-2178.435=0.024 | | max | 2178.484-2178.472=0.011 |
| | mean | 2745.000-2833.000=-88.000 | | σ | 0.000 | | min | 2745.000-2833.000=-88.000 | | max | 2745.000-2833.000=-88.000 |
| | mean | 3.486-3.392=0.093 | | σ | 0.100-0.185=-0.085 | | min | 3.339-3.286=0.053 | | max | 3.617-3.722=-0.105 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.383-5056.405=-0.022 | | σ | 0.957-0.989=-0.032 | | min | 5055.800-5055.797=0.002 | | max | 5058.081-5058.164=-0.084 |
| | mean | 2745.000-2833.000=-88.000 | | σ | 0.000 | | min | 2745.000-2833.000=-88.000 | | max | 2745.000-2833.000=-88.000 |
| | mean | 8.843-8.924=-0.080 | | σ | 0.346-0.457=-0.111 | | min | 8.477-8.556=-0.079 | | max | 9.211-9.525=-0.314 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.710-5193.688=0.022 | | σ | 0.126-0.208=-0.082 | | min | 5193.524-5193.376=0.149 | | max | 5193.879-5193.879=0.001 |
| | mean | 3285.800-3253.600=32.200 | | σ | 404.489-467.802=-63.313 | | min | 2745.000-2833.000=-88.000 | | max | 3673.000-3923.000=-250.000 |
| | mean | 8.908-8.822=0.086 | | σ | 0.267-0.193=0.074 | | min | 8.663-8.656=0.006 | | max | 9.284-9.041=0.243 |
|