iters=5 new-facts=1 prior-facts=1 | | mean | 279.511-279.511=0.000 | | σ | 0.006-0.009=-0.002 | | min | 279.503-279.499=0.005 | | max | 279.519-279.519=-0.000 |
| | mean | 2770.000-2768.000=2.000 | | σ | 0.000 | | min | 2770.000-2768.000=2.000 | | max | 2770.000-2768.000=2.000 |
| | mean | 0.412-0.411=0.001 | | σ | 0.008-0.007=0.001 | | min | 0.406-0.405=0.001 | | max | 0.422-0.421=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.434-2178.425=0.009 | | σ | 0.009-0.037=-0.028 | | min | 2178.419-2178.359=0.060 | | max | 2178.441-2178.449=-0.008 |
| | mean | 2770.000-2768.000=2.000 | | σ | 0.000 | | min | 2770.000-2768.000=2.000 | | max | 2770.000-2768.000=2.000 |
| | mean | 3.302-3.389=-0.087 | | σ | 0.156-0.117=0.038 | | min | 3.114-3.268=-0.153 | | max | 3.544-3.530=0.014 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.368-5056.357=0.010 | | σ | 1.004-0.973=0.032 | | min | 5055.774-5055.766=0.008 | | max | 5058.152-5058.083=0.069 |
| | mean | 2770.000-2768.000=2.000 | | σ | 0.000 | | min | 2770.000-2768.000=2.000 | | max | 2770.000-2768.000=2.000 |
| | mean | 8.969-9.034=-0.065 | | σ | 0.596-0.490=0.105 | | min | 8.106-8.168=-0.062 | | max | 9.588-9.359=0.229 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.608-5193.674=-0.066 | | σ | 0.360-0.125=0.235 | | min | 5192.982-5193.505=-0.523 | | max | 5193.853-5193.857=-0.004 |
| | mean | 3165.200-3276.200=-111.000 | | σ | 403.844-460.996=-57.152 | | min | 2770.000-2768.000=2.000 | | max | 3753.000-3914.000=-161.000 |
| | mean | 8.701-8.976=-0.275 | | σ | 0.048-0.099=-0.050 | | min | 8.623-8.861=-0.237 | | max | 8.756-9.094=-0.338 |
|