Benchmark solution
=====================

Benchmark results
----------------------

**Modeling a**

It is a non-regression test case.

**Modeling b**

It is a non-regression test case.

**C modeling**

It is a non-regression test case.


Uncertainty about solutions
-----------------------------

**Modeling a**

It's a non-regression test case

**Modeling b**

It's a non-regression test case

**C modeling**

It's a non-regression test case