| name | result | time |
|---|
| lia-lin-int/chc-LIA-Lin_000.smt2 | unknown | 300.079 |
| lia-lin-int/chc-LIA-Lin_001.smt2 | unknown | 300.027 |
| lia-lin-int/chc-LIA-Lin_002.smt2 | unknown | 300.032 |
| lia-lin-int/chc-LIA-Lin_003.smt2 | unknown | 300.079 |
| lia-lin-int/chc-LIA-Lin_004.smt2 | unknown | 300.028 |
| lia-lin-int/chc-LIA-Lin_005.smt2 | unknown | 300.024 |
| lia-lin-int/chc-LIA-Lin_006.smt2 | unknown | 300.06 |
| lia-lin-int/chc-LIA-Lin_008.smt2 | unknown | 300.014 |
| lia-lin-int/chc-LIA-Lin_009.smt2 | unknown | 300.055 |
| lia-lin-int/chc-LIA-Lin_010.smt2 | sat | 0.058201 |
| lia-lin-int/chc-LIA-Lin_012.smt2 | unknown | 300.034 |
| lia-lin-int/chc-LIA-Lin_013.smt2 | unknown | 300.085 |
| lia-lin-int/chc-LIA-Lin_014.smt2 | unknown | 300.088 |
| lia-lin-int/chc-LIA-Lin_015.smt2 | unknown | 300.106 |
| lia-lin-int/chc-LIA-Lin_016.smt2 | unknown | 300.065 |
| lia-lin-int/chc-LIA-Lin_017.smt2 | unknown | 300.043 |
| lia-lin-int/chc-LIA-Lin_018.smt2 | sat | 66.7077 |
| lia-lin-int/chc-LIA-Lin_019.smt2 | sat | 130.557 |
| lia-lin-int/chc-LIA-Lin_020.smt2 | unknown | 300.015 |
| lia-lin-int/chc-LIA-Lin_021.smt2 | sat | 9.50301 |
| lia-lin-int/chc-LIA-Lin_022.smt2 | unknown | 300.087 |
| lia-lin-int/chc-LIA-Lin_023.smt2 | sat | 249.252 |
| lia-lin-int/chc-LIA-Lin_026.smt2 | unknown | 300.119 |
| lia-lin-int/chc-LIA-Lin_027.smt2 | unknown | 300.062 |
| lia-lin-int/chc-LIA-Lin_029.smt2 | unknown | 300.056 |
| lia-lin-int/chc-LIA-Lin_032.smt2 | unsat | 0.0504479 |
| lia-lin-int/chc-LIA-Lin_034.smt2 | unsat | 0.0502039 |
| lia-lin-int/chc-LIA-Lin_036.smt2 | unsat | 0.099205 |
| lia-lin-int/chc-LIA-Lin_037.smt2 | unsat | 0.166745 |
| lia-lin-int/chc-LIA-Lin_038.smt2 | unsat | 2.59625 |
| lia-lin-int/chc-LIA-Lin_043.smt2 | unknown | 300.028 |
| lia-lin-int/chc-LIA-Lin_044.smt2 | unknown | 300.058 |
| lia-lin-int/chc-LIA-Lin_045.smt2 | unknown | 300.066 |
| lia-lin-int/chc-LIA-Lin_047.smt2 | unknown | 300.02 |
| lia-lin-int/chc-LIA-Lin_050.smt2 | unsat | 224.25 |
| lia-lin-int/chc-LIA-Lin_052.smt2 | unknown | 300.055 |
| lia-lin-int/chc-LIA-Lin_053.smt2 | unknown | 300.033 |
| lia-lin-int/chc-LIA-Lin_057.smt2 | unknown | 300.026 |
| lia-lin-int/chc-LIA-Lin_059.smt2 | unknown | 300.061 |
| lia-lin-int/chc-LIA-Lin_073.smt2 | sat | 0.397102 |
| lia-lin-int/chc-LIA-Lin_079.smt2 | sat | 0.089722 |
| lia-lin-int/chc-LIA-Lin_080.smt2 | sat | 0.0773731 |
| lia-lin-int/chc-LIA-Lin_081.smt2 | sat | 0.070614 |
| lia-lin-int/chc-LIA-Lin_082.smt2 | unknown | 300.033 |
| lia-lin-int/chc-LIA-Lin_083.smt2 | unsat | 0.069615 |
| lia-lin-int/chc-LIA-Lin_084.smt2 | unsat | 0.056138 |
| lia-lin-int/chc-LIA-Lin_085.smt2 | sat | 0.172155 |
| lia-lin-int/chc-LIA-Lin_086.smt2 | unsat | 0.0742261 |
| lia-lin-int/chc-LIA-Lin_087.smt2 | sat | 0.121875 |
| lia-lin-int/chc-LIA-Lin_088.smt2 | sat | 0.0958991 |
| lia-lin-int/chc-LIA-Lin_089.smt2 | unsat | 0.33251 |
| lia-lin-int/chc-LIA-Lin_090.smt2 | unknown | 300.021 |
| lia-lin-int/chc-LIA-Lin_091.smt2 | unknown | 300.069 |
| lia-lin-int/chc-LIA-Lin_092.smt2 | unsat | 0.345592 |
| lia-lin-int/chc-LIA-Lin_093.smt2 | sat | 2.50124 |
| lia-lin-int/chc-LIA-Lin_094.smt2 | sat | 0.145754 |
| lia-lin-int/chc-LIA-Lin_095.smt2 | sat | 0.0702051 |
| lia-lin-int/chc-LIA-Lin_096.smt2 | unsat | 1.83214 |
| lia-lin-int/chc-LIA-Lin_097.smt2 | unknown | 300.106 |
| lia-lin-int/chc-LIA-Lin_098.smt2 | sat | 0.308719 |
| lia-lin-int/chc-LIA-Lin_099.smt2 | unknown | 300.015 |
| lia-lin-int/chc-LIA-Lin_100.smt2 | unknown | 300.024 |
| lia-lin-int/chc-LIA-Lin_101.smt2 | unknown | 300.024 |
| lia-lin-int/chc-LIA-Lin_102.smt2 | unknown | 300.019 |
| lia-lin-int/chc-LIA-Lin_103.smt2 | unknown | 300.015 |
| lia-lin-int/chc-LIA-Lin_104.smt2 | unknown | 300.077 |
| lia-lin-int/chc-LIA-Lin_105.smt2 | unknown | 300.042 |
| lia-lin-int/chc-LIA-Lin_106.smt2 | unknown | 300.035 |
| lia-lin-int/chc-LIA-Lin_107.smt2 | unknown | 300.024 |
| lia-lin-int/chc-LIA-Lin_108.smt2 | unknown | 300.068 |
| lia-lin-int/chc-LIA-Lin_109.smt2 | unknown | 300.02 |
| lia-lin-int/chc-LIA-Lin_110.smt2 | sat | 0.0620901 |
| lia-lin-int/chc-LIA-Lin_111.smt2 | unsat | 0.0990241 |
| lia-lin-int/chc-LIA-Lin_112.smt2 | sat | 0.09189 |
| lia-lin-int/chc-LIA-Lin_113.smt2 | sat | 0.147025 |
| lia-lin-int/chc-LIA-Lin_114.smt2 | sat | 0.135083 |
| lia-lin-int/chc-LIA-Lin_115.smt2 | sat | 0.065237 |
| lia-lin-int/chc-LIA-Lin_116.smt2 | unsat | 0.0509659 |
| lia-lin-int/chc-LIA-Lin_117.smt2 | unsat | 0.048368 |
| lia-lin-int/chc-LIA-Lin_118.smt2 | sat | 0.052358 |
| lia-lin-int/chc-LIA-Lin_119.smt2 | unsat | 0.0931131 |
| lia-lin-int/chc-LIA-Lin_120.smt2 | sat | 0.050785 |
| lia-lin-int/chc-LIA-Lin_121.smt2 | sat | 0.0495679 |
| lia-lin-int/chc-LIA-Lin_122.smt2 | sat | 0.764288 |
| lia-lin-int/chc-LIA-Lin_123.smt2 | unsat | 0.459468 |
| lia-lin-int/chc-LIA-Lin_124.smt2 | sat | 2.98582 |
| lia-lin-int/chc-LIA-Lin_125.smt2 | unknown | 300.024 |
| lia-lin-int/chc-LIA-Lin_126.smt2 | sat | 3.28772 |
| lia-lin-int/chc-LIA-Lin_127.smt2 | unknown | 300.032 |
| lia-lin-int/chc-LIA-Lin_128.smt2 | sat | 0.111586 |
| lia-lin-int/chc-LIA-Lin_129.smt2 | sat | 1.70888 |
| lia-lin-int/chc-LIA-Lin_130.smt2 | unsat | 3.03276 |
| lia-lin-int/chc-LIA-Lin_131.smt2 | sat | 2.01926 |
| lia-lin-int/chc-LIA-Lin_132.smt2 | sat | 1.29785 |
| lia-lin-int/chc-LIA-Lin_133.smt2 | unsat | 2.88151 |
| lia-lin-int/chc-LIA-Lin_134.smt2 | unknown | 300.014 |
| lia-lin-int/chc-LIA-Lin_135.smt2 | unknown | 300.084 |
| lia-lin-int/chc-LIA-Lin_136.smt2 | unknown | 300.021 |
| lia-lin-int/chc-LIA-Lin_137.smt2 | unknown | 300.023 |
| lia-lin-int/chc-LIA-Lin_138.smt2 | unknown | 300.02 |
| lia-lin-int/chc-LIA-Lin_139.smt2 | unknown | 300.062 |
| lia-lin-int/chc-LIA-Lin_140.smt2 | unknown | 300.023 |
| lia-lin-int/chc-LIA-Lin_141.smt2 | unknown | 300.113 |
| lia-lin-int/chc-LIA-Lin_142.smt2 | unknown | 300.023 |
| lia-lin-int/chc-LIA-Lin_143.smt2 | unknown | 300.017 |
| lia-lin-int/chc-LIA-Lin_144.smt2 | unknown | 300.032 |
| lia-lin-int/chc-LIA-Lin_145.smt2 | unknown | 300.024 |
| lia-lin-int/chc-LIA-Lin_146.smt2 | unknown | 300.024 |
| lia-lin-int/chc-LIA-Lin_147.smt2 | sat | 89.3961 |
| lia-lin-int/chc-LIA-Lin_148.smt2 | unknown | 300.054 |
| lia-lin-int/chc-LIA-Lin_149.smt2 | unknown | 300.021 |
| lia-lin-int/chc-LIA-Lin_150.smt2 | unknown | 300.071 |
| lia-lin-int/chc-LIA-Lin_151.smt2 | unknown | 300.015 |
| lia-lin-int/chc-LIA-Lin_152.smt2 | unknown | 300.018 |
| lia-lin-int/chc-LIA-Lin_153.smt2 | unknown | 300.114 |
| lia-lin-int/chc-LIA-Lin_154.smt2 | unknown | 300.027 |
| lia-lin-int/chc-LIA-Lin_155.smt2 | unknown | 300.105 |
| lia-lin-int/chc-LIA-Lin_156.smt2 | sat | 30.5494 |
| lia-lin-int/chc-LIA-Lin_157.smt2 | unknown | 300.121 |
| lia-lin-int/chc-LIA-Lin_158.smt2 | unknown | 300.082 |
| lia-lin-int/chc-LIA-Lin_159.smt2 | unknown | 300.015 |
| lia-lin-int/chc-LIA-Lin_160.smt2 | unknown | 300.065 |
| lia-lin-int/chc-LIA-Lin_161.smt2 | unknown | 300.015 |
| lia-lin-int/chc-LIA-Lin_162.smt2 | unknown | 300.03 |
| lia-lin-int/chc-LIA-Lin_163.smt2 | unknown | 300.015 |
| lia-lin-int/chc-LIA-Lin_164.smt2 | unknown | 300.034 |
| lia-lin-int/chc-LIA-Lin_165.smt2 | unknown | 300.019 |
| lia-lin-int/chc-LIA-Lin_166.smt2 | unknown | 300.039 |
| lia-lin-int/chc-LIA-Lin_167.smt2 | unknown | 300.024 |
| lia-lin-int/chc-LIA-Lin_168.smt2 | unknown | 300.029 |
| lia-lin-int/chc-LIA-Lin_169.smt2 | unknown | 300.017 |
| lia-lin-int/chc-LIA-Lin_260.smt2 | sat | 1.54055 |
| lia-lin-int/chc-LIA-Lin_261.smt2 | unknown | 300.039 |
| lia-lin-int/chc-LIA-Lin_263.smt2 | unknown | 300.091 |
| lia-lin-int/chc-LIA-Lin_265.smt2 | sat | 0.070771 |
| lia-lin-int/chc-LIA-Lin_266.smt2 | unknown | 300.024 |
| lia-lin-int/chc-LIA-Lin_267.smt2 | sat | 231.123 |
| lia-lin-int/chc-LIA-Lin_269.smt2 | sat | 7.23595 |
| lia-lin-int/chc-LIA-Lin_270.smt2 | unknown | 300.073 |
| lia-lin-int/chc-LIA-Lin_279.smt2 | unknown | 300.033 |
| lia-lin-int/chc-LIA-Lin_280.smt2 | unknown | 300.028 |
| lia-lin-int/chc-LIA-Lin_283.smt2 | unknown | 300.053 |
| lia-lin-int/chc-LIA-Lin_289.smt2 | unknown | 300.062 |
| lia-lin-int/chc-LIA-Lin_290.smt2 | sat | 0.131834 |
| lia-lin-int/chc-LIA-Lin_291.smt2 | sat | 0.071139 |
| lia-lin-int/chc-LIA-Lin_292.smt2 | sat | 4.70216 |
| lia-lin-int/chc-LIA-Lin_293.smt2 | sat | 0.078491 |
| lia-lin-int/chc-LIA-Lin_294.smt2 | sat | 0.12873 |
| lia-lin-int/chc-LIA-Lin_295.smt2 | sat | 0.0707351 |
| lia-lin-int/chc-LIA-Lin_296.smt2 | sat | 0.747184 |
| lia-lin-int/chc-LIA-Lin_297.smt2 | unsat | 0.713614 |
| lia-lin-int/chc-LIA-Lin_298.smt2 | sat | 3.50421 |
| lia-lin-int/chc-LIA-Lin_299.smt2 | unsat | 0.590898 |
| lia-lin-int/chc-LIA-Lin_300.smt2 | sat | 36.442 |
| lia-lin-int/chc-LIA-Lin_301.smt2 | unknown | 300.035 |
| lia-lin-int/chc-LIA-Lin_303.smt2 | unknown | 300.016 |
| lia-lin-int/chc-LIA-Lin_304.smt2 | sat | 2.99747 |
| lia-lin-int/chc-LIA-Lin_305.smt2 | unknown | 300.058 |
| lia-lin-int/chc-LIA-Lin_306.smt2 | sat | 0.044691 |
| lia-lin-int/chc-LIA-Lin_307.smt2 | sat | 0.0459989 |
| lia-lin-int/chc-LIA-Lin_308.smt2 | sat | 0.064134 |
| lia-lin-int/chc-LIA-Lin_309.smt2 | sat | 0.0465599 |
| lia-lin-int/chc-LIA-Lin_310.smt2 | sat | 0.046212 |
| lia-lin-int/chc-LIA-Lin_311.smt2 | sat | 0.0441171 |
| lia-lin-int/chc-LIA-Lin_312.smt2 | unknown | 300.087 |
| lia-lin-int/chc-LIA-Lin_313.smt2 | unsat | 0.0487401 |
| lia-lin-int/chc-LIA-Lin_314.smt2 | sat | 0.0504979 |
| lia-lin-int/chc-LIA-Lin_315.smt2 | sat | 0.047415 |
| lia-lin-int/chc-LIA-Lin_316.smt2 | unsat | 0.051948 |
| lia-lin-int/chc-LIA-Lin_317.smt2 | sat | 0.049414 |
| lia-lin-int/chc-LIA-Lin_318.smt2 | sat | 0.0590581 |
| lia-lin-int/chc-LIA-Lin_409.smt2 | sat | 0.0507751 |
| lia-lin-int/chc-LIA-Lin_410.smt2 | sat | 0.11028 |
| lia-lin-int/chc-LIA-Lin_411.smt2 | sat | 0.062827 |
| lia-lin-int/chc-LIA-Lin_412.smt2 | sat | 0.115124 |
| lia-lin-int/chc-LIA-Lin_413.smt2 | sat | 0.0692871 |
| lia-lin-int/chc-LIA-Lin_414.smt2 | sat | 0.0489631 |
| lia-lin-int/chc-LIA-Lin_415.smt2 | sat | 0.0682219 |
| lia-lin-int/chc-LIA-Lin_416.smt2 | sat | 0.0530401 |
| lia-lin-int/chc-LIA-Lin_417.smt2 | sat | 0.0446791 |
| lia-lin-int/chc-LIA-Lin_418.smt2 | sat | 0.103047 |
| lia-lin-int/chc-LIA-Lin_419.smt2 | sat | 0.0485191 |
| lia-lin-int/chc-LIA-Lin_420.smt2 | sat | 0.140939 |
| lia-lin-int/chc-LIA-Lin_421.smt2 | sat | 0.050302 |
| lia-lin-int/chc-LIA-Lin_422.smt2 | sat | 0.43949 |
| lia-lin-int/chc-LIA-Lin_423.smt2 | sat | 0.0673999 |
| lia-lin-int/chc-LIA-Lin_424.smt2 | sat | 0.209889 |
| lia-lin-int/chc-LIA-Lin_425.smt2 | sat | 0.0593301 |
| lia-lin-int/chc-LIA-Lin_426.smt2 | sat | 0.13538 |
| lia-lin-int/chc-LIA-Lin_427.smt2 | sat | 0.566805 |
| lia-lin-int/chc-LIA-Lin_428.smt2 | sat | 1.08459 |
| lia-lin-int/chc-LIA-Lin_429.smt2 | sat | 4.97101 |
| lia-lin-int/chc-LIA-Lin_430.smt2 | sat | 5.22711 |
| lia-lin-int/chc-LIA-Lin_431.smt2 | sat | 14.9837 |
| lia-lin-int/chc-LIA-Lin_434.smt2 | sat | 0.362574 |
| lia-lin-int/chc-LIA-Lin_435.smt2 | sat | 0.705771 |
| lia-lin-int/chc-LIA-Lin_436.smt2 | sat | 0.180897 |
| lia-lin-int/chc-LIA-Lin_437.smt2 | sat | 1.00351 |
| lia-lin-int/chc-LIA-Lin_438.smt2 | sat | 0.356146 |
| lia-lin-int/chc-LIA-Lin_439.smt2 | sat | 0.454863 |
| lia-lin-int/chc-LIA-Lin_440.smt2 | sat | 0.504277 |
| lia-lin-int/chc-LIA-Lin_441.smt2 | sat | 0.191919 |
| lia-lin-int/chc-LIA-Lin_443.smt2 | sat | 0.175733 |
| lia-lin-int/chc-LIA-Lin_444.smt2 | sat | 1.07023 |
| lia-lin-int/chc-LIA-Lin_445.smt2 | sat | 0.116157 |
| lia-lin-int/chc-LIA-Lin_450.smt2 | sat | 8.17819 |
| lia-lin-int/chc-LIA-Lin_451.smt2 | unknown | 300.015 |
| lia-lin-int/chc-LIA-Lin_461.smt2 | sat | 172.545 |
| lia-lin-int/chc-LIA-Lin_475.smt2 | unsat | 23.7424 |