iters=5 new-facts=1 prior-facts=1 | | mean | 339.177-339.052=0.125 | | σ | 0.059-0.061=-0.001 | | min | 339.072-338.943=0.128 | | max | 339.211-339.081=0.130 |
| | mean | 2609.000-2446.000=163.000 | | σ | 0.000 | | min | 2609.000-2446.000=163.000 | | max | 2609.000-2446.000=163.000 |
| | mean | 0.432-0.436=-0.004 | | σ | 0.001-0.003=-0.002 | | min | 0.431-0.433=-0.002 | | max | 0.433-0.441=-0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2003.806-2003.676=0.129 | | σ | 0.014-0.007=0.007 | | min | 2003.793-2003.670=0.123 | | max | 2003.827-2003.683=0.143 |
| | mean | 2609.000-2446.000=163.000 | | σ | 0.000 | | min | 2609.000-2446.000=163.000 | | max | 2609.000-2446.000=163.000 |
| | mean | 3.208-3.034=0.174 | | σ | 0.071-0.283=-0.212 | | min | 3.148-2.635=0.513 | | max | 3.317-3.306=0.011 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4828.554-4828.196=0.357 | | σ | 7.684-7.888=-0.204 | | min | 4825.030-4824.372=0.658 | | max | 4842.298-4842.301=-0.002 |
| | mean | 2609.000-2446.000=163.000 | | σ | 0.000 | | min | 2609.000-2446.000=163.000 | | max | 2609.000-2446.000=163.000 |
| | mean | 8.444-8.803=-0.360 | | σ | 0.399-0.442=-0.043 | | min | 7.936-8.204=-0.268 | | max | 8.937-9.238=-0.300 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5016.060-5016.082=-0.022 | | σ | 0.329-0.015=0.314 | | min | 5015.472-5016.063=-0.591 | | max | 5016.218-5016.105=0.113 |
| | mean | 2984.400-2992.000=-7.600 | | σ | 295.647-312.476=-16.829 | | min | 2609.000-2576.000=33.000 | | max | 3371.000-3384.000=-13.000 |
| | mean | 8.634-8.689=-0.055 | | σ | 0.168-0.200=-0.032 | | min | 8.428-8.473=-0.046 | | max | 8.846-8.902=-0.056 |
|