iters=5 new-facts=1 prior-facts=1 | | mean | 278.283-278.283=-0.001 | | σ | 0.007-0.008=-0.000 | | min | 278.271-278.275=-0.003 | | max | 278.292-278.293=-0.002 |
| | mean | 2710.000-2779.000=-69.000 | | σ | 0.000 | | min | 2710.000-2779.000=-69.000 | | max | 2710.000-2779.000=-69.000 |
| | mean | 0.407-0.410=-0.003 | | σ | 0.005-0.008=-0.004 | | min | 0.403-0.403=0.001 | | max | 0.415-0.420=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2175.512-2175.524=-0.012 | | σ | 0.032-0.010=0.022 | | min | 2175.468-2175.510=-0.042 | | max | 2175.547-2175.534=0.013 |
| | mean | 2710.000-2779.000=-69.000 | | σ | 0.000 | | min | 2710.000-2779.000=-69.000 | | max | 2710.000-2779.000=-69.000 |
| | mean | 2.998-2.900=0.098 | | σ | 0.129-0.136=-0.007 | | min | 2.821-2.788=0.033 | | max | 3.149-3.092=0.057 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5134.604-5134.537=0.066 | | σ | 1.006-1.007=-0.002 | | min | 5133.990-5133.795=0.195 | | max | 5136.389-5136.304=0.086 |
| | mean | 2710.000-2779.000=-69.000 | | σ | 0.000 | | min | 2710.000-2779.000=-69.000 | | max | 2710.000-2779.000=-69.000 |
| | mean | 8.943-9.614=-0.671 | | σ | 0.548-0.437=0.112 | | min | 8.340-9.151=-0.811 | | max | 9.714-10.168=-0.454 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5238.368-5238.373=-0.004 | | σ | 0.081-0.087=-0.006 | | min | 5238.292-5238.309=-0.016 | | max | 5238.466-5238.468=-0.002 |
| | mean | 3232.400-3271.800=-39.400 | | σ | 388.905-439.195=-50.290 | | min | 2710.000-2779.000=-69.000 | | max | 3602.000-3846.000=-244.000 |
| | mean | 9.187-8.915=0.272 | | σ | 0.275-0.192=0.083 | | min | 8.861-8.706=0.155 | | max | 9.551-9.128=0.423 |
|