iters=5 new-facts=1 prior-facts=1 | | mean | 271.753-271.754=-0.001 | | σ | 0.005-0.007=-0.001 | | min | 271.747-271.744=0.004 | | max | 271.759-271.760=-0.001 |
| | mean | 2849.000-2815.000=34.000 | | σ | 0.000 | | min | 2849.000-2815.000=34.000 | | max | 2849.000-2815.000=34.000 |
| | mean | 0.379-0.379=0.001 | | σ | 0.005-0.005=-0.001 | | min | 0.377-0.371=0.005 | | max | 0.388-0.386=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.176-1932.179=-0.002 | | σ | 0.008-0.013=-0.005 | | min | 1932.168-1932.160=0.008 | | max | 1932.189-1932.189=-0.001 |
| | mean | 2849.000-2815.000=34.000 | | σ | 0.000 | | min | 2849.000-2815.000=34.000 | | max | 2849.000-2815.000=34.000 |
| | mean | 3.045-2.976=0.068 | | σ | 0.137-0.081=0.056 | | min | 2.905-2.860=0.045 | | max | 3.255-3.087=0.168 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.970-4752.903=0.066 | | σ | 0.816-0.927=-0.111 | | min | 4752.509-4752.399=0.110 | | max | 4754.423-4754.552=-0.129 |
| | mean | 2849.000-2815.000=34.000 | | σ | 0.000 | | min | 2849.000-2815.000=34.000 | | max | 2849.000-2815.000=34.000 |
| | mean | 8.040-8.592=-0.552 | | σ | 0.398-0.483=-0.085 | | min | 7.668-7.913=-0.245 | | max | 8.519-9.050=-0.531 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.236-4943.302=-0.066 | | σ | 0.310-0.147=0.163 | | min | 4942.683-4943.039=-0.357 | | max | 4943.396-4943.389=0.007 |
| | mean | 3077.400-3001.000=76.400 | | σ | 261.284-203.779=57.505 | | min | 2849.000-2815.000=34.000 | | max | 3472.000-3309.000=163.000 |
| | mean | 8.378-8.465=-0.087 | | σ | 0.150-0.090=0.059 | | min | 8.163-8.327=-0.164 | | max | 8.562-8.547=0.014 |
|