iters=5 new-facts=1 prior-facts=1 | | mean | 272.755-272.757=-0.001 | | σ | 0.003-0.008=-0.005 | | min | 272.752-272.747=0.005 | | max | 272.760-272.768=-0.008 |
| | mean | 2774.000-2770.000=4.000 | | σ | 0.000 | | min | 2774.000-2770.000=4.000 | | max | 2774.000-2770.000=4.000 |
| | mean | 0.387-0.382=0.005 | | σ | 0.009-0.010=-0.002 | | min | 0.380-0.374=0.006 | | max | 0.398-0.399=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.161-1933.163=-0.002 | | σ | 0.016-0.017=-0.001 | | min | 1933.143-1933.139=0.004 | | max | 1933.179-1933.181=-0.002 |
| | mean | 2774.000-2770.000=4.000 | | σ | 0.000 | | min | 2774.000-2770.000=4.000 | | max | 2774.000-2770.000=4.000 |
| | mean | 2.955-3.093=-0.139 | | σ | 0.122-0.105=0.016 | | min | 2.738-2.950=-0.212 | | max | 3.028-3.231=-0.203 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.908-4756.856=0.052 | | σ | 7.654-7.625=0.029 | | min | 4753.365-4753.135=0.230 | | max | 4770.599-4770.492=0.107 |
| | mean | 2774.000-2770.000=4.000 | | σ | 0.000 | | min | 2774.000-2770.000=4.000 | | max | 2774.000-2770.000=4.000 |
| | mean | 8.843-8.329=0.514 | | σ | 0.405-0.522=-0.117 | | min | 8.372-7.616=0.756 | | max | 9.355-8.939=0.416 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.393-4944.324=0.070 | | σ | 0.013-0.146=-0.132 | | min | 4944.378-4944.064=0.314 | | max | 4944.409-4944.401=0.008 |
| | mean | 3030.400-2994.200=36.200 | | σ | 320.196-286.296=33.900 | | min | 2774.000-2770.000=4.000 | | max | 3520.000-3422.000=98.000 |
| | mean | 8.539-8.578=-0.039 | | σ | 0.255-0.272=-0.017 | | min | 8.323-8.326=-0.004 | | max | 8.857-8.882=-0.025 |
|