| name | result | time |
|---|
| lia-lin-int/chc-LIA-Lin_000.smt2 | unknown | 300.014 |
| lia-lin-int/chc-LIA-Lin_001.smt2 | unknown | 300.029 |
| lia-lin-int/chc-LIA-Lin_002.smt2 | unknown | 300.097 |
| lia-lin-int/chc-LIA-Lin_003.smt2 | unknown | 300.033 |
| lia-lin-int/chc-LIA-Lin_004.smt2 | unknown | 300.07 |
| lia-lin-int/chc-LIA-Lin_005.smt2 | unknown | 300.016 |
| lia-lin-int/chc-LIA-Lin_006.smt2 | unknown | 300.098 |
| lia-lin-int/chc-LIA-Lin_008.smt2 | unknown | 300.026 |
| lia-lin-int/chc-LIA-Lin_009.smt2 | unknown | 300.104 |
| lia-lin-int/chc-LIA-Lin_010.smt2 | unknown | 300.015 |
| lia-lin-int/chc-LIA-Lin_012.smt2 | unknown | 300.015 |
| lia-lin-int/chc-LIA-Lin_013.smt2 | unknown | 300.026 |
| lia-lin-int/chc-LIA-Lin_014.smt2 | unknown | 300.016 |
| lia-lin-int/chc-LIA-Lin_015.smt2 | unknown | 300.021 |
| lia-lin-int/chc-LIA-Lin_016.smt2 | unknown | 300.029 |
| lia-lin-int/chc-LIA-Lin_017.smt2 | unknown | 300.064 |
| lia-lin-int/chc-LIA-Lin_018.smt2 | unknown | 300.102 |
| lia-lin-int/chc-LIA-Lin_019.smt2 | unknown | 300.024 |
| lia-lin-int/chc-LIA-Lin_020.smt2 | unknown | 300.015 |
| lia-lin-int/chc-LIA-Lin_021.smt2 | unknown | 300.024 |
| lia-lin-int/chc-LIA-Lin_022.smt2 | unknown | 300.026 |
| lia-lin-int/chc-LIA-Lin_023.smt2 | unknown | 300.014 |
| lia-lin-int/chc-LIA-Lin_026.smt2 | unknown | 300.028 |
| lia-lin-int/chc-LIA-Lin_027.smt2 | unknown | 300.025 |
| lia-lin-int/chc-LIA-Lin_029.smt2 | unknown | 300.096 |
| lia-lin-int/chc-LIA-Lin_032.smt2 | unsat | 0.0444141 |
| lia-lin-int/chc-LIA-Lin_034.smt2 | unsat | 0.0427459 |
| lia-lin-int/chc-LIA-Lin_036.smt2 | unsat | 0.0610631 |
| lia-lin-int/chc-LIA-Lin_037.smt2 | unsat | 0.095983 |
| lia-lin-int/chc-LIA-Lin_038.smt2 | unsat | 1.56379 |
| lia-lin-int/chc-LIA-Lin_043.smt2 | unknown | 300.035 |
| lia-lin-int/chc-LIA-Lin_044.smt2 | unknown | 300.027 |
| lia-lin-int/chc-LIA-Lin_045.smt2 | unknown | 300.015 |
| lia-lin-int/chc-LIA-Lin_047.smt2 | unknown | 300.065 |
| lia-lin-int/chc-LIA-Lin_050.smt2 | unknown | 300.047 |
| lia-lin-int/chc-LIA-Lin_052.smt2 | unknown | 300.022 |
| lia-lin-int/chc-LIA-Lin_053.smt2 | unknown | 300.02 |
| lia-lin-int/chc-LIA-Lin_057.smt2 | unknown | 300.029 |
| lia-lin-int/chc-LIA-Lin_059.smt2 | unknown | 300.072 |
| lia-lin-int/chc-LIA-Lin_073.smt2 | unknown | 300.062 |
| lia-lin-int/chc-LIA-Lin_079.smt2 | unknown | 300.024 |
| lia-lin-int/chc-LIA-Lin_080.smt2 | unknown | 300.043 |
| lia-lin-int/chc-LIA-Lin_081.smt2 | unknown | 300.106 |
| lia-lin-int/chc-LIA-Lin_082.smt2 | unknown | 300.046 |
| lia-lin-int/chc-LIA-Lin_083.smt2 | unsat | 0.049438 |
| lia-lin-int/chc-LIA-Lin_084.smt2 | unsat | 0.048897 |
| lia-lin-int/chc-LIA-Lin_085.smt2 | unknown | 300.015 |
| lia-lin-int/chc-LIA-Lin_086.smt2 | unsat | 0.051765 |
| lia-lin-int/chc-LIA-Lin_087.smt2 | unknown | 300.115 |
| lia-lin-int/chc-LIA-Lin_088.smt2 | unknown | 300.024 |
| lia-lin-int/chc-LIA-Lin_089.smt2 | unsat | 0.139513 |
| lia-lin-int/chc-LIA-Lin_090.smt2 | unknown | 300.017 |
| lia-lin-int/chc-LIA-Lin_091.smt2 | unknown | 300.015 |
| lia-lin-int/chc-LIA-Lin_092.smt2 | unsat | 0.111247 |
| lia-lin-int/chc-LIA-Lin_093.smt2 | unknown | 300.024 |
| lia-lin-int/chc-LIA-Lin_094.smt2 | unknown | 300.105 |
| lia-lin-int/chc-LIA-Lin_095.smt2 | unknown | 300.028 |
| lia-lin-int/chc-LIA-Lin_096.smt2 | unsat | 0.111354 |
| lia-lin-int/chc-LIA-Lin_097.smt2 | unknown | 300.097 |
| lia-lin-int/chc-LIA-Lin_098.smt2 | unknown | 300.016 |
| lia-lin-int/chc-LIA-Lin_099.smt2 | unknown | 300.015 |
| lia-lin-int/chc-LIA-Lin_100.smt2 | unknown | 300.015 |
| lia-lin-int/chc-LIA-Lin_101.smt2 | unknown | 300.025 |
| lia-lin-int/chc-LIA-Lin_102.smt2 | unsat | 77.0173 |
| lia-lin-int/chc-LIA-Lin_103.smt2 | unknown | 300.019 |
| lia-lin-int/chc-LIA-Lin_104.smt2 | unknown | 300.032 |
| lia-lin-int/chc-LIA-Lin_105.smt2 | unknown | 300.024 |
| lia-lin-int/chc-LIA-Lin_106.smt2 | unknown | 300.015 |
| lia-lin-int/chc-LIA-Lin_107.smt2 | unknown | 300.028 |
| lia-lin-int/chc-LIA-Lin_108.smt2 | unknown | 300.015 |
| lia-lin-int/chc-LIA-Lin_109.smt2 | unknown | 300.068 |
| lia-lin-int/chc-LIA-Lin_110.smt2 | unknown | 300.105 |
| lia-lin-int/chc-LIA-Lin_111.smt2 | unsat | 0.0498429 |
| lia-lin-int/chc-LIA-Lin_112.smt2 | unknown | 300.082 |
| lia-lin-int/chc-LIA-Lin_113.smt2 | unknown | 300.014 |
| lia-lin-int/chc-LIA-Lin_114.smt2 | unknown | 300.034 |
| lia-lin-int/chc-LIA-Lin_115.smt2 | unknown | 300.116 |
| lia-lin-int/chc-LIA-Lin_116.smt2 | unsat | 0.043879 |
| lia-lin-int/chc-LIA-Lin_117.smt2 | unsat | 0.0429389 |
| lia-lin-int/chc-LIA-Lin_118.smt2 | unknown | 300.015 |
| lia-lin-int/chc-LIA-Lin_119.smt2 | unsat | 0.0506619 |
| lia-lin-int/chc-LIA-Lin_120.smt2 | unknown | 300.088 |
| lia-lin-int/chc-LIA-Lin_121.smt2 | unknown | 300.019 |
| lia-lin-int/chc-LIA-Lin_122.smt2 | unknown | 300.023 |
| lia-lin-int/chc-LIA-Lin_123.smt2 | unsat | 0.288527 |
| lia-lin-int/chc-LIA-Lin_124.smt2 | unknown | 300.029 |
| lia-lin-int/chc-LIA-Lin_125.smt2 | unknown | 300.021 |
| lia-lin-int/chc-LIA-Lin_126.smt2 | unknown | 300.032 |
| lia-lin-int/chc-LIA-Lin_127.smt2 | unknown | 300.014 |
| lia-lin-int/chc-LIA-Lin_128.smt2 | unknown | 300.055 |
| lia-lin-int/chc-LIA-Lin_129.smt2 | unknown | 300.018 |
| lia-lin-int/chc-LIA-Lin_130.smt2 | unsat | 1.78971 |
| lia-lin-int/chc-LIA-Lin_131.smt2 | unknown | 300.033 |
| lia-lin-int/chc-LIA-Lin_132.smt2 | unknown | 300.024 |
| lia-lin-int/chc-LIA-Lin_133.smt2 | unsat | 1.64312 |
| lia-lin-int/chc-LIA-Lin_134.smt2 | unknown | 300.017 |
| lia-lin-int/chc-LIA-Lin_135.smt2 | unknown | 300.027 |
| lia-lin-int/chc-LIA-Lin_136.smt2 | unknown | 300.02 |
| lia-lin-int/chc-LIA-Lin_137.smt2 | unknown | 300.113 |
| lia-lin-int/chc-LIA-Lin_138.smt2 | unknown | 300.015 |
| lia-lin-int/chc-LIA-Lin_139.smt2 | unknown | 300.019 |
| lia-lin-int/chc-LIA-Lin_140.smt2 | unknown | 300.105 |
| lia-lin-int/chc-LIA-Lin_141.smt2 | unknown | 300.125 |
| lia-lin-int/chc-LIA-Lin_142.smt2 | unknown | 300.103 |
| lia-lin-int/chc-LIA-Lin_143.smt2 | unknown | 300.036 |
| lia-lin-int/chc-LIA-Lin_144.smt2 | unknown | 300.1 |
| lia-lin-int/chc-LIA-Lin_145.smt2 | unknown | 300.102 |
| lia-lin-int/chc-LIA-Lin_146.smt2 | unknown | 300.019 |
| lia-lin-int/chc-LIA-Lin_147.smt2 | unknown | 300.097 |
| lia-lin-int/chc-LIA-Lin_148.smt2 | unknown | 300.023 |
| lia-lin-int/chc-LIA-Lin_149.smt2 | unknown | 300.115 |
| lia-lin-int/chc-LIA-Lin_150.smt2 | unknown | 300.033 |
| lia-lin-int/chc-LIA-Lin_151.smt2 | unknown | 300.015 |
| lia-lin-int/chc-LIA-Lin_152.smt2 | unknown | 300.014 |
| lia-lin-int/chc-LIA-Lin_153.smt2 | unknown | 300.023 |
| lia-lin-int/chc-LIA-Lin_154.smt2 | unknown | 300.024 |
| lia-lin-int/chc-LIA-Lin_155.smt2 | unknown | 300.061 |
| lia-lin-int/chc-LIA-Lin_156.smt2 | unknown | 300.085 |
| lia-lin-int/chc-LIA-Lin_157.smt2 | unknown | 300.031 |
| lia-lin-int/chc-LIA-Lin_158.smt2 | unknown | 300.083 |
| lia-lin-int/chc-LIA-Lin_159.smt2 | unknown | 300.1 |
| lia-lin-int/chc-LIA-Lin_160.smt2 | unknown | 300.105 |
| lia-lin-int/chc-LIA-Lin_161.smt2 | unknown | 300.014 |
| lia-lin-int/chc-LIA-Lin_162.smt2 | unknown | 300.03 |
| lia-lin-int/chc-LIA-Lin_163.smt2 | unknown | 300.118 |
| lia-lin-int/chc-LIA-Lin_164.smt2 | unknown | 300.016 |
| lia-lin-int/chc-LIA-Lin_165.smt2 | unknown | 300.101 |
| lia-lin-int/chc-LIA-Lin_166.smt2 | unknown | 300.031 |
| lia-lin-int/chc-LIA-Lin_167.smt2 | unknown | 300.024 |
| lia-lin-int/chc-LIA-Lin_168.smt2 | unknown | 300.025 |
| lia-lin-int/chc-LIA-Lin_169.smt2 | unknown | 300.033 |
| lia-lin-int/chc-LIA-Lin_260.smt2 | unknown | 300.105 |
| lia-lin-int/chc-LIA-Lin_261.smt2 | unknown | 300.047 |
| lia-lin-int/chc-LIA-Lin_263.smt2 | unknown | 300.027 |
| lia-lin-int/chc-LIA-Lin_265.smt2 | unknown | 300.062 |
| lia-lin-int/chc-LIA-Lin_266.smt2 | unknown | 300.028 |
| lia-lin-int/chc-LIA-Lin_267.smt2 | unknown | 300.023 |
| lia-lin-int/chc-LIA-Lin_269.smt2 | unknown | 300.095 |
| lia-lin-int/chc-LIA-Lin_270.smt2 | unknown | 300.027 |
| lia-lin-int/chc-LIA-Lin_279.smt2 | unknown | 300.079 |
| lia-lin-int/chc-LIA-Lin_280.smt2 | unknown | 300.023 |
| lia-lin-int/chc-LIA-Lin_283.smt2 | unknown | 300.068 |
| lia-lin-int/chc-LIA-Lin_289.smt2 | unknown | 300.032 |
| lia-lin-int/chc-LIA-Lin_290.smt2 | unknown | 300.059 |
| lia-lin-int/chc-LIA-Lin_291.smt2 | unknown | 300.053 |
| lia-lin-int/chc-LIA-Lin_292.smt2 | unknown | 300.021 |
| lia-lin-int/chc-LIA-Lin_293.smt2 | unknown | 300.041 |
| lia-lin-int/chc-LIA-Lin_294.smt2 | unknown | 300.046 |
| lia-lin-int/chc-LIA-Lin_295.smt2 | unknown | 300.072 |
| lia-lin-int/chc-LIA-Lin_296.smt2 | unknown | 300.034 |
| lia-lin-int/chc-LIA-Lin_297.smt2 | unsat | 0.469579 |
| lia-lin-int/chc-LIA-Lin_298.smt2 | unknown | 300.026 |
| lia-lin-int/chc-LIA-Lin_299.smt2 | unsat | 0.387833 |
| lia-lin-int/chc-LIA-Lin_300.smt2 | unknown | 300.025 |
| lia-lin-int/chc-LIA-Lin_301.smt2 | unknown | 300.024 |
| lia-lin-int/chc-LIA-Lin_303.smt2 | unknown | 300.022 |
| lia-lin-int/chc-LIA-Lin_304.smt2 | unknown | 300.115 |
| lia-lin-int/chc-LIA-Lin_305.smt2 | unknown | 300.014 |
| lia-lin-int/chc-LIA-Lin_306.smt2 | sat | 0.039947 |
| lia-lin-int/chc-LIA-Lin_307.smt2 | sat | 0.0418301 |
| lia-lin-int/chc-LIA-Lin_308.smt2 | unknown | 300.024 |
| lia-lin-int/chc-LIA-Lin_309.smt2 | sat | 0.0429481 |
| lia-lin-int/chc-LIA-Lin_310.smt2 | sat | 0.042896 |
| lia-lin-int/chc-LIA-Lin_311.smt2 | sat | 0.0406681 |
| lia-lin-int/chc-LIA-Lin_312.smt2 | unknown | 300.023 |
| lia-lin-int/chc-LIA-Lin_313.smt2 | unsat | 0.0428609 |
| lia-lin-int/chc-LIA-Lin_314.smt2 | unknown | 300.027 |
| lia-lin-int/chc-LIA-Lin_315.smt2 | sat | 0.0435851 |
| lia-lin-int/chc-LIA-Lin_316.smt2 | unsat | 0.0467829 |
| lia-lin-int/chc-LIA-Lin_317.smt2 | sat | 0.043344 |
| lia-lin-int/chc-LIA-Lin_318.smt2 | sat | 0.0501449 |
| lia-lin-int/chc-LIA-Lin_409.smt2 | unknown | 300.027 |
| lia-lin-int/chc-LIA-Lin_410.smt2 | unknown | 300.073 |
| lia-lin-int/chc-LIA-Lin_411.smt2 | unknown | 300.023 |
| lia-lin-int/chc-LIA-Lin_412.smt2 | sat | 0.0659731 |
| lia-lin-int/chc-LIA-Lin_413.smt2 | sat | 0.0506939 |
| lia-lin-int/chc-LIA-Lin_414.smt2 | unknown | 300.105 |
| lia-lin-int/chc-LIA-Lin_415.smt2 | unknown | 300.025 |
| lia-lin-int/chc-LIA-Lin_416.smt2 | sat | 0.042914 |
| lia-lin-int/chc-LIA-Lin_417.smt2 | sat | 0.0414301 |
| lia-lin-int/chc-LIA-Lin_418.smt2 | sat | 0.0608591 |
| lia-lin-int/chc-LIA-Lin_419.smt2 | sat | 0.044713 |
| lia-lin-int/chc-LIA-Lin_420.smt2 | unknown | 300.075 |
| lia-lin-int/chc-LIA-Lin_421.smt2 | unknown | 300.016 |
| lia-lin-int/chc-LIA-Lin_422.smt2 | sat | 0.0840459 |
| lia-lin-int/chc-LIA-Lin_423.smt2 | sat | 0.050055 |
| lia-lin-int/chc-LIA-Lin_424.smt2 | unknown | 300.101 |
| lia-lin-int/chc-LIA-Lin_425.smt2 | unknown | 300.03 |
| lia-lin-int/chc-LIA-Lin_426.smt2 | unknown | 300.048 |
| lia-lin-int/chc-LIA-Lin_427.smt2 | unknown | 300.073 |
| lia-lin-int/chc-LIA-Lin_428.smt2 | sat | 0.097825 |
| lia-lin-int/chc-LIA-Lin_429.smt2 | sat | 0.095896 |
| lia-lin-int/chc-LIA-Lin_430.smt2 | sat | 0.0847581 |
| lia-lin-int/chc-LIA-Lin_431.smt2 | sat | 0.123314 |
| lia-lin-int/chc-LIA-Lin_434.smt2 | unknown | 300.064 |
| lia-lin-int/chc-LIA-Lin_435.smt2 | sat | 0.0990779 |
| lia-lin-int/chc-LIA-Lin_436.smt2 | unknown | 300.103 |
| lia-lin-int/chc-LIA-Lin_437.smt2 | unknown | 300.081 |
| lia-lin-int/chc-LIA-Lin_438.smt2 | sat | 0.0719169 |
| lia-lin-int/chc-LIA-Lin_439.smt2 | unknown | 300.041 |
| lia-lin-int/chc-LIA-Lin_440.smt2 | sat | 0.0808521 |
| lia-lin-int/chc-LIA-Lin_441.smt2 | unknown | 300.067 |
| lia-lin-int/chc-LIA-Lin_443.smt2 | unknown | 300.077 |
| lia-lin-int/chc-LIA-Lin_444.smt2 | unknown | 300.047 |
| lia-lin-int/chc-LIA-Lin_445.smt2 | unknown | 0.076987 |
| lia-lin-int/chc-LIA-Lin_450.smt2 | unknown | 300.072 |
| lia-lin-int/chc-LIA-Lin_451.smt2 | unknown | 300.081 |
| lia-lin-int/chc-LIA-Lin_461.smt2 | unknown | 300.122 |
| lia-lin-int/chc-LIA-Lin_475.smt2 | unsat | 149.093 |