iters=5 new-facts=1 prior-facts=1 | | mean | 279.498-279.514=-0.016 | | σ | 0.016-0.007=0.009 | | min | 279.480-279.504=-0.024 | | max | 279.514-279.520=-0.006 |
| | mean | 2760.000-2745.000=15.000 | | σ | 0.000 | | min | 2760.000-2745.000=15.000 | | max | 2760.000-2745.000=15.000 |
| | mean | 0.410-0.418=-0.008 | | σ | 0.002-0.005=-0.003 | | min | 0.407-0.412=-0.005 | | max | 0.414-0.425=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.423-2178.399=0.024 | | σ | 0.032-0.045=-0.014 | | min | 2178.378-2178.345=0.033 | | max | 2178.465-2178.450=0.015 |
| | mean | 2760.000-2745.000=15.000 | | σ | 0.000 | | min | 2760.000-2745.000=15.000 | | max | 2760.000-2745.000=15.000 |
| | mean | 3.432-3.386=0.047 | | σ | 0.087-0.208=-0.121 | | min | 3.291-3.103=0.188 | | max | 3.517-3.650=-0.133 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.380-5056.384=-0.004 | | σ | 0.979-1.011=-0.032 | | min | 5055.815-5055.808=0.007 | | max | 5058.125-5058.181=-0.056 |
| | mean | 2760.000-2745.000=15.000 | | σ | 0.000 | | min | 2760.000-2745.000=15.000 | | max | 2760.000-2745.000=15.000 |
| | mean | 8.860-9.111=-0.251 | | σ | 0.612-0.570=0.042 | | min | 8.061-8.375=-0.315 | | max | 9.556-9.714=-0.158 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.747-5193.742=0.005 | | σ | 0.101-0.100=0.001 | | min | 5193.641-5193.636=0.005 | | max | 5193.857-5193.852=0.005 |
| | mean | 3296.000-3232.800=63.200 | | σ | 400.590-466.038=-65.448 | | min | 2760.000-2745.000=15.000 | | max | 3680.000-3873.000=-193.000 |
| | mean | 8.879-8.754=0.125 | | σ | 0.169-0.124=0.045 | | min | 8.611-8.676=-0.065 | | max | 9.049-8.972=0.077 |
|