iters=5 new-facts=1 prior-facts=1 | | mean | 273.377-273.405=-0.027 | | σ | 0.007-0.010=-0.003 | | min | 273.369-273.392=-0.023 | | max | 273.387-273.416=-0.030 |
| | mean | 2506.000-2410.000=96.000 | | σ | 0.000 | | min | 2506.000-2410.000=96.000 | | max | 2506.000-2410.000=96.000 |
| | mean | 0.390-0.388=0.002 | | σ | 0.007-0.009=-0.001 | | min | 0.379-0.378=0.000 | | max | 0.397-0.395=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.839-1933.839=0.000 | | σ | 0.007-0.016=-0.009 | | min | 1933.832-1933.820=0.012 | | max | 1933.850-1933.859=-0.008 |
| | mean | 2506.000-2410.000=96.000 | | σ | 0.000 | | min | 2506.000-2410.000=96.000 | | max | 2506.000-2410.000=96.000 |
| | mean | 3.022-3.131=-0.109 | | σ | 0.228-0.313=-0.084 | | min | 2.689-2.924=-0.235 | | max | 3.319-3.681=-0.362 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.106-4754.286=-0.180 | | σ | 1.124-0.607=0.517 | | min | 4753.175-4753.889=-0.714 | | max | 4756.036-4755.355=0.681 |
| | mean | 2506.000-2410.000=96.000 | | σ | 0.000 | | min | 2506.000-2410.000=96.000 | | max | 2506.000-2410.000=96.000 |
| | mean | 8.763-8.136=0.626 | | σ | 0.714-0.565=0.149 | | min | 7.755-7.760=-0.006 | | max | 9.678-9.131=0.547 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.797-4944.789=0.008 | | σ | 0.089-0.078=0.011 | | min | 4944.722-4944.729=-0.007 | | max | 4944.899-4944.878=0.021 |
| | mean | 3013.800-2938.200=75.600 | | σ | 311.552-411.722=-100.170 | | min | 2585.000-2468.000=117.000 | | max | 3302.000-3501.000=-199.000 |
| | mean | 9.020-8.416=0.604 | | σ | 0.335-0.102=0.233 | | min | 8.609-8.302=0.308 | | max | 9.369-8.559=0.810 |
|