iters=5 new-facts=1 prior-facts=1 | | mean | 269.931-269.931=0.000 | | σ | 0.006-0.009=-0.004 | | min | 269.925-269.919=0.006 | | max | 269.939-269.942=-0.002 |
| | mean | 2774.000-2861.000=-87.000 | | σ | 0.000 | | min | 2774.000-2861.000=-87.000 | | max | 2774.000-2861.000=-87.000 |
| | mean | 0.376-0.380=-0.005 | | σ | 0.009-0.009=0.001 | | min | 0.370-0.372=-0.001 | | max | 0.392-0.394=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.395-1930.397=-0.002 | | σ | 0.017-0.013=0.004 | | min | 1930.369-1930.388=-0.019 | | max | 1930.411-1930.418=-0.007 |
| | mean | 2774.000-2861.000=-87.000 | | σ | 0.000 | | min | 2774.000-2861.000=-87.000 | | max | 2774.000-2861.000=-87.000 |
| | mean | 2.529-2.552=-0.023 | | σ | 0.104-0.132=-0.028 | | min | 2.407-2.457=-0.050 | | max | 2.641-2.767=-0.127 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.916-4750.753=0.164 | | σ | 0.793-0.605=0.188 | | min | 4750.470-4750.301=0.169 | | max | 4752.329-4751.818=0.511 |
| | mean | 2774.000-2861.000=-87.000 | | σ | 0.000 | | min | 2774.000-2861.000=-87.000 | | max | 2774.000-2861.000=-87.000 |
| | mean | 8.176-8.545=-0.369 | | σ | 0.412-0.542=-0.130 | | min | 7.681-7.649=0.032 | | max | 8.699-9.037=-0.338 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.258-4941.118=0.140 | | σ | 0.195-0.297=-0.102 | | min | 4940.939-4940.723=0.216 | | max | 4941.417-4941.426=-0.009 |
| | mean | 3051.000-3058.400=-7.400 | | σ | 341.981-194.692=147.289 | | min | 2774.000-2861.000=-87.000 | | max | 3566.000-3343.000=223.000 |
| | mean | 8.443-8.560=-0.117 | | σ | 0.136-0.229=-0.094 | | min | 8.334-8.361=-0.027 | | max | 8.641-8.914=-0.274 |
|