iters=5 new-facts=1 prior-facts=1 | | mean | 270.608-270.608=0.000 | | σ | 0.006-0.004=0.001 | | min | 270.599-270.601=-0.002 | | max | 270.613-270.611=0.002 |
| | mean | 2771.000-2764.000=7.000 | | σ | 0.000 | | min | 2771.000-2764.000=7.000 | | max | 2771.000-2764.000=7.000 |
| | mean | 0.378-0.378=-0.000 | | σ | 0.002-0.001=0.001 | | min | 0.374-0.377=-0.003 | | max | 0.380-0.379=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.046-1931.044=0.002 | | σ | 0.008-0.011=-0.003 | | min | 1931.036-1931.032=0.004 | | max | 1931.058-1931.061=-0.003 |
| | mean | 2771.000-2764.000=7.000 | | σ | 0.000 | | min | 2771.000-2764.000=7.000 | | max | 2771.000-2764.000=7.000 |
| | mean | 2.909-3.014=-0.105 | | σ | 0.084-0.148=-0.064 | | min | 2.780-2.827=-0.047 | | max | 2.978-3.192=-0.214 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.843-4751.604=0.239 | | σ | 0.795-1.009=-0.214 | | min | 4751.423-4750.807=0.616 | | max | 4753.263-4753.372=-0.108 |
| | mean | 2771.000-2764.000=7.000 | | σ | 0.000 | | min | 2771.000-2764.000=7.000 | | max | 2771.000-2764.000=7.000 |
| | mean | 7.899-8.778=-0.880 | | σ | 0.306-0.552=-0.246 | | min | 7.649-7.823=-0.173 | | max | 8.405-9.172=-0.767 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4942.234-4942.161=0.073 | | σ | 0.023-0.167=-0.145 | | min | 4942.202-4941.863=0.340 | | max | 4942.255-4942.255=0.001 |
| | mean | 3007.000-3050.800=-43.800 | | σ | 294.585-274.494=20.091 | | min | 2771.000-2764.000=7.000 | | max | 3462.000-3432.000=30.000 |
| | mean | 8.380-8.604=-0.224 | | σ | 0.043-0.161=-0.118 | | min | 8.331-8.366=-0.035 | | max | 8.426-8.812=-0.386 |
|