| name | result | time |
|---|
| lia-lin-int/chc-LIA-Lin_000.smt2 | sat | 0.084308 |
| lia-lin-int/chc-LIA-Lin_001.smt2 | unknown | 300.047 |
| lia-lin-int/chc-LIA-Lin_002.smt2 | sat | 0.0282311 |
| lia-lin-int/chc-LIA-Lin_003.smt2 | unknown | 300.025 |
| lia-lin-int/chc-LIA-Lin_004.smt2 | unknown | 300.089 |
| lia-lin-int/chc-LIA-Lin_005.smt2 | sat | 0.0130609 |
| lia-lin-int/chc-LIA-Lin_006.smt2 | unknown | 300.025 |
| lia-lin-int/chc-LIA-Lin_008.smt2 | sat | 0.0195351 |
| lia-lin-int/chc-LIA-Lin_009.smt2 | unknown | 0.0133451 |
| lia-lin-int/chc-LIA-Lin_010.smt2 | unknown | 300.017 |
| lia-lin-int/chc-LIA-Lin_012.smt2 | sat | 0.0305439 |
| lia-lin-int/chc-LIA-Lin_013.smt2 | unknown | 300.103 |
| lia-lin-int/chc-LIA-Lin_014.smt2 | unknown | 300.115 |
| lia-lin-int/chc-LIA-Lin_015.smt2 | sat | 0.020211 |
| lia-lin-int/chc-LIA-Lin_016.smt2 | sat | 0.131126 |
| lia-lin-int/chc-LIA-Lin_017.smt2 | unknown | 300.091 |
| lia-lin-int/chc-LIA-Lin_018.smt2 | sat | 23.5344 |
| lia-lin-int/chc-LIA-Lin_019.smt2 | unknown | 300.041 |
| lia-lin-int/chc-LIA-Lin_020.smt2 | unknown | 300.019 |
| lia-lin-int/chc-LIA-Lin_021.smt2 | sat | 242.541 |
| lia-lin-int/chc-LIA-Lin_022.smt2 | sat | 0.035319 |
| lia-lin-int/chc-LIA-Lin_023.smt2 | sat | 0.315229 |
| lia-lin-int/chc-LIA-Lin_026.smt2 | sat | 0.0212389 |
| lia-lin-int/chc-LIA-Lin_027.smt2 | sat | 0.018403 |
| lia-lin-int/chc-LIA-Lin_029.smt2 | unknown | 300.097 |
| lia-lin-int/chc-LIA-Lin_032.smt2 | unsat | 0.016945 |
| lia-lin-int/chc-LIA-Lin_034.smt2 | unsat | 0.0167279 |
| lia-lin-int/chc-LIA-Lin_036.smt2 | unknown | 300.015 |
| lia-lin-int/chc-LIA-Lin_037.smt2 | unsat | 0.083882 |
| lia-lin-int/chc-LIA-Lin_038.smt2 | unsat | 0.18292 |
| lia-lin-int/chc-LIA-Lin_043.smt2 | unknown | 300.094 |
| lia-lin-int/chc-LIA-Lin_044.smt2 | unsat | 9.26098 |
| lia-lin-int/chc-LIA-Lin_045.smt2 | unknown | 300.07 |
| lia-lin-int/chc-LIA-Lin_047.smt2 | unknown | 300.047 |
| lia-lin-int/chc-LIA-Lin_050.smt2 | unsat | 2.42302 |
| lia-lin-int/chc-LIA-Lin_052.smt2 | unsat | 12.9646 |
| lia-lin-int/chc-LIA-Lin_053.smt2 | unsat | 18.6841 |
| lia-lin-int/chc-LIA-Lin_057.smt2 | unsat | 15.513 |
| lia-lin-int/chc-LIA-Lin_059.smt2 | unknown | 300.024 |
| lia-lin-int/chc-LIA-Lin_073.smt2 | unknown | 0.010368 |
| lia-lin-int/chc-LIA-Lin_079.smt2 | unknown | 0.0158479 |
| lia-lin-int/chc-LIA-Lin_080.smt2 | sat | 0.0230551 |
| lia-lin-int/chc-LIA-Lin_081.smt2 | unknown | 300.076 |
| lia-lin-int/chc-LIA-Lin_082.smt2 | unknown | 0.0160961 |
| lia-lin-int/chc-LIA-Lin_083.smt2 | unsat | 0.0151379 |
| lia-lin-int/chc-LIA-Lin_084.smt2 | unknown | 0.0172279 |
| lia-lin-int/chc-LIA-Lin_085.smt2 | unknown | 300.024 |
| lia-lin-int/chc-LIA-Lin_086.smt2 | unknown | 0.0100199 |
| lia-lin-int/chc-LIA-Lin_087.smt2 | unknown | 0.0358139 |
| lia-lin-int/chc-LIA-Lin_088.smt2 | unknown | 0.038026 |
| lia-lin-int/chc-LIA-Lin_089.smt2 | unsat | 4.92837 |
| lia-lin-int/chc-LIA-Lin_090.smt2 | unknown | 300.029 |
| lia-lin-int/chc-LIA-Lin_091.smt2 | unknown | 0.0232409 |
| lia-lin-int/chc-LIA-Lin_092.smt2 | unknown | 0.0125199 |
| lia-lin-int/chc-LIA-Lin_093.smt2 | unknown | 0.125869 |
| lia-lin-int/chc-LIA-Lin_094.smt2 | sat | 1.25964 |
| lia-lin-int/chc-LIA-Lin_095.smt2 | sat | 0.0277639 |
| lia-lin-int/chc-LIA-Lin_096.smt2 | unknown | 0.01324 |
| lia-lin-int/chc-LIA-Lin_097.smt2 | unknown | 0.0120681 |
| lia-lin-int/chc-LIA-Lin_098.smt2 | unknown | 0.110062 |
| lia-lin-int/chc-LIA-Lin_099.smt2 | unknown | 0.0214779 |
| lia-lin-int/chc-LIA-Lin_100.smt2 | unknown | 300.015 |
| lia-lin-int/chc-LIA-Lin_101.smt2 | unknown | 0.01224 |
| lia-lin-int/chc-LIA-Lin_102.smt2 | unknown | 0.0103979 |
| lia-lin-int/chc-LIA-Lin_103.smt2 | unknown | 300.055 |
| lia-lin-int/chc-LIA-Lin_104.smt2 | unknown | 300.093 |
| lia-lin-int/chc-LIA-Lin_105.smt2 | sat | 0.024967 |
| lia-lin-int/chc-LIA-Lin_106.smt2 | sat | 2.84563 |
| lia-lin-int/chc-LIA-Lin_107.smt2 | unknown | 0.0180361 |
| lia-lin-int/chc-LIA-Lin_108.smt2 | sat | 0.0258401 |
| lia-lin-int/chc-LIA-Lin_109.smt2 | unknown | 0.018707 |
| lia-lin-int/chc-LIA-Lin_110.smt2 | sat | 0.0153461 |
| lia-lin-int/chc-LIA-Lin_111.smt2 | unsat | 0.023062 |
| lia-lin-int/chc-LIA-Lin_112.smt2 | sat | 2.48246 |
| lia-lin-int/chc-LIA-Lin_113.smt2 | unknown | 0.035727 |
| lia-lin-int/chc-LIA-Lin_114.smt2 | unknown | 0.0340679 |
| lia-lin-int/chc-LIA-Lin_115.smt2 | sat | 0.0188069 |
| lia-lin-int/chc-LIA-Lin_116.smt2 | unsat | 0.0209551 |
| lia-lin-int/chc-LIA-Lin_117.smt2 | unsat | 0.014131 |
| lia-lin-int/chc-LIA-Lin_118.smt2 | sat | 0.0149979 |
| lia-lin-int/chc-LIA-Lin_119.smt2 | unsat | 0.0136121 |
| lia-lin-int/chc-LIA-Lin_120.smt2 | sat | 0.018786 |
| lia-lin-int/chc-LIA-Lin_121.smt2 | sat | 0.0126811 |
| lia-lin-int/chc-LIA-Lin_122.smt2 | sat | 0.0600461 |
| lia-lin-int/chc-LIA-Lin_123.smt2 | unknown | 300.016 |
| lia-lin-int/chc-LIA-Lin_124.smt2 | sat | 0.226019 |
| lia-lin-int/chc-LIA-Lin_125.smt2 | unknown | 300.021 |
| lia-lin-int/chc-LIA-Lin_126.smt2 | unknown | 300.083 |
| lia-lin-int/chc-LIA-Lin_127.smt2 | unknown | 300.025 |
| lia-lin-int/chc-LIA-Lin_128.smt2 | sat | 0.946299 |
| lia-lin-int/chc-LIA-Lin_129.smt2 | sat | 0.125724 |
| lia-lin-int/chc-LIA-Lin_130.smt2 | unknown | 0.0946021 |
| lia-lin-int/chc-LIA-Lin_131.smt2 | sat | 0.149199 |
| lia-lin-int/chc-LIA-Lin_132.smt2 | sat | 0.100519 |
| lia-lin-int/chc-LIA-Lin_133.smt2 | unknown | 0.0999959 |
| lia-lin-int/chc-LIA-Lin_134.smt2 | sat | 0.104727 |
| lia-lin-int/chc-LIA-Lin_135.smt2 | unknown | 300.017 |
| lia-lin-int/chc-LIA-Lin_136.smt2 | unknown | 0.127702 |
| lia-lin-int/chc-LIA-Lin_137.smt2 | unknown | 300.095 |
| lia-lin-int/chc-LIA-Lin_138.smt2 | unknown | 300.102 |
| lia-lin-int/chc-LIA-Lin_139.smt2 | unknown | 300.09 |
| lia-lin-int/chc-LIA-Lin_140.smt2 | unknown | 300.023 |
| lia-lin-int/chc-LIA-Lin_141.smt2 | unknown | 300.064 |
| lia-lin-int/chc-LIA-Lin_142.smt2 | unknown | 300.023 |
| lia-lin-int/chc-LIA-Lin_143.smt2 | unknown | 300.049 |
| lia-lin-int/chc-LIA-Lin_144.smt2 | unknown | 300.018 |
| lia-lin-int/chc-LIA-Lin_145.smt2 | unknown | 300.017 |
| lia-lin-int/chc-LIA-Lin_146.smt2 | unknown | 300.094 |
| lia-lin-int/chc-LIA-Lin_147.smt2 | unknown | 0.0854719 |
| lia-lin-int/chc-LIA-Lin_148.smt2 | unknown | 300.046 |
| lia-lin-int/chc-LIA-Lin_149.smt2 | unknown | 300.077 |
| lia-lin-int/chc-LIA-Lin_150.smt2 | unknown | 300.077 |
| lia-lin-int/chc-LIA-Lin_151.smt2 | unknown | 300.017 |
| lia-lin-int/chc-LIA-Lin_152.smt2 | unknown | 300.017 |
| lia-lin-int/chc-LIA-Lin_153.smt2 | unknown | 300.052 |
| lia-lin-int/chc-LIA-Lin_154.smt2 | unknown | 300.045 |
| lia-lin-int/chc-LIA-Lin_155.smt2 | unknown | 300.069 |
| lia-lin-int/chc-LIA-Lin_156.smt2 | sat | 3.55083 |
| lia-lin-int/chc-LIA-Lin_157.smt2 | unknown | 300.045 |
| lia-lin-int/chc-LIA-Lin_158.smt2 | unknown | 300.067 |
| lia-lin-int/chc-LIA-Lin_159.smt2 | unknown | 300.05 |
| lia-lin-int/chc-LIA-Lin_160.smt2 | unknown | 300.084 |
| lia-lin-int/chc-LIA-Lin_161.smt2 | unknown | 300.05 |
| lia-lin-int/chc-LIA-Lin_162.smt2 | unknown | 0.097411 |
| lia-lin-int/chc-LIA-Lin_163.smt2 | unknown | 300.039 |
| lia-lin-int/chc-LIA-Lin_164.smt2 | unknown | 300.027 |
| lia-lin-int/chc-LIA-Lin_165.smt2 | unknown | 300.046 |
| lia-lin-int/chc-LIA-Lin_166.smt2 | unknown | 300.059 |
| lia-lin-int/chc-LIA-Lin_167.smt2 | unknown | 300.057 |
| lia-lin-int/chc-LIA-Lin_168.smt2 | unknown | 300.045 |
| lia-lin-int/chc-LIA-Lin_169.smt2 | unknown | 300.026 |
| lia-lin-int/chc-LIA-Lin_260.smt2 | unknown | 300.023 |
| lia-lin-int/chc-LIA-Lin_261.smt2 | unknown | 300.087 |
| lia-lin-int/chc-LIA-Lin_263.smt2 | sat | 122.294 |
| lia-lin-int/chc-LIA-Lin_265.smt2 | sat | 0.0167709 |
| lia-lin-int/chc-LIA-Lin_266.smt2 | unknown | 300.058 |
| lia-lin-int/chc-LIA-Lin_267.smt2 | unknown | 300.092 |
| lia-lin-int/chc-LIA-Lin_269.smt2 | unknown | 300.067 |
| lia-lin-int/chc-LIA-Lin_270.smt2 | unknown | 300.057 |
| lia-lin-int/chc-LIA-Lin_279.smt2 | unknown | 300.101 |
| lia-lin-int/chc-LIA-Lin_280.smt2 | unknown | 300.112 |
| lia-lin-int/chc-LIA-Lin_283.smt2 | unknown | 300.061 |
| lia-lin-int/chc-LIA-Lin_289.smt2 | unknown | 300.024 |
| lia-lin-int/chc-LIA-Lin_290.smt2 | sat | 0.952441 |
| lia-lin-int/chc-LIA-Lin_291.smt2 | unknown | 300.106 |
| lia-lin-int/chc-LIA-Lin_292.smt2 | unknown | 300.014 |
| lia-lin-int/chc-LIA-Lin_293.smt2 | sat | 122.255 |
| lia-lin-int/chc-LIA-Lin_294.smt2 | unknown | 0.0124219 |
| lia-lin-int/chc-LIA-Lin_295.smt2 | unknown | 300.03 |
| lia-lin-int/chc-LIA-Lin_296.smt2 | unknown | 300.112 |
| lia-lin-int/chc-LIA-Lin_297.smt2 | unknown | 300.022 |
| lia-lin-int/chc-LIA-Lin_298.smt2 | sat | 52.2447 |
| lia-lin-int/chc-LIA-Lin_299.smt2 | unknown | 300.046 |
| lia-lin-int/chc-LIA-Lin_300.smt2 | sat | 4.07202 |
| lia-lin-int/chc-LIA-Lin_301.smt2 | unknown | 300.023 |
| lia-lin-int/chc-LIA-Lin_303.smt2 | sat | 0.112795 |
| lia-lin-int/chc-LIA-Lin_304.smt2 | sat | 0.06636 |
| lia-lin-int/chc-LIA-Lin_305.smt2 | sat | 0.18757 |
| lia-lin-int/chc-LIA-Lin_306.smt2 | unknown | 0.0135789 |
| lia-lin-int/chc-LIA-Lin_307.smt2 | sat | 0.014844 |
| lia-lin-int/chc-LIA-Lin_308.smt2 | sat | 0.0108621 |
| lia-lin-int/chc-LIA-Lin_309.smt2 | sat | 0.0128709 |
| lia-lin-int/chc-LIA-Lin_310.smt2 | unknown | 0.0123211 |
| lia-lin-int/chc-LIA-Lin_311.smt2 | unknown | 0.013838 |
| lia-lin-int/chc-LIA-Lin_312.smt2 | unknown | 0.0113911 |
| lia-lin-int/chc-LIA-Lin_313.smt2 | unknown | 0.01186 |
| lia-lin-int/chc-LIA-Lin_314.smt2 | unknown | 0.0190611 |
| lia-lin-int/chc-LIA-Lin_315.smt2 | unknown | 0.0228791 |
| lia-lin-int/chc-LIA-Lin_316.smt2 | unknown | 0.0216281 |
| lia-lin-int/chc-LIA-Lin_317.smt2 | unknown | 0.0208499 |
| lia-lin-int/chc-LIA-Lin_318.smt2 | unknown | 0.062992 |
| lia-lin-int/chc-LIA-Lin_409.smt2 | unknown | 0.0101621 |
| lia-lin-int/chc-LIA-Lin_410.smt2 | unknown | 0.092808 |
| lia-lin-int/chc-LIA-Lin_411.smt2 | unknown | 0.0217999 |
| lia-lin-int/chc-LIA-Lin_412.smt2 | unknown | 0.154944 |
| lia-lin-int/chc-LIA-Lin_413.smt2 | unknown | 0.0534271 |
| lia-lin-int/chc-LIA-Lin_414.smt2 | unknown | 0.0155869 |
| lia-lin-int/chc-LIA-Lin_415.smt2 | unknown | 0.0851209 |
| lia-lin-int/chc-LIA-Lin_416.smt2 | unknown | 0.024539 |
| lia-lin-int/chc-LIA-Lin_417.smt2 | unknown | 0.0116209 |
| lia-lin-int/chc-LIA-Lin_418.smt2 | unknown | 0.133512 |
| lia-lin-int/chc-LIA-Lin_419.smt2 | unknown | 0.016377 |
| lia-lin-int/chc-LIA-Lin_420.smt2 | unknown | 0.0602911 |
| lia-lin-int/chc-LIA-Lin_421.smt2 | unknown | 0.0109429 |
| lia-lin-int/chc-LIA-Lin_422.smt2 | unknown | 0.086689 |
| lia-lin-int/chc-LIA-Lin_423.smt2 | unknown | 0.0481811 |
| lia-lin-int/chc-LIA-Lin_424.smt2 | unknown | 0.11995 |
| lia-lin-int/chc-LIA-Lin_425.smt2 | unknown | 0.0502151 |
| lia-lin-int/chc-LIA-Lin_426.smt2 | unknown | 0.0352779 |
| lia-lin-int/chc-LIA-Lin_427.smt2 | unknown | 0.181446 |
| lia-lin-int/chc-LIA-Lin_428.smt2 | unknown | 1.16326 |
| lia-lin-int/chc-LIA-Lin_429.smt2 | unknown | 0.406357 |
| lia-lin-int/chc-LIA-Lin_430.smt2 | unknown | 0.316084 |
| lia-lin-int/chc-LIA-Lin_431.smt2 | unknown | 0.744713 |
| lia-lin-int/chc-LIA-Lin_434.smt2 | unknown | 0.202906 |
| lia-lin-int/chc-LIA-Lin_435.smt2 | unknown | 1.16219 |
| lia-lin-int/chc-LIA-Lin_436.smt2 | unknown | 0.259827 |
| lia-lin-int/chc-LIA-Lin_437.smt2 | unknown | 0.295974 |
| lia-lin-int/chc-LIA-Lin_438.smt2 | unknown | 0.238879 |
| lia-lin-int/chc-LIA-Lin_439.smt2 | unknown | 0.157077 |
| lia-lin-int/chc-LIA-Lin_440.smt2 | unknown | 0.311776 |
| lia-lin-int/chc-LIA-Lin_441.smt2 | unknown | 0.317238 |
| lia-lin-int/chc-LIA-Lin_443.smt2 | unknown | 0.109612 |
| lia-lin-int/chc-LIA-Lin_444.smt2 | unknown | 0.11412 |
| lia-lin-int/chc-LIA-Lin_445.smt2 | unknown | 0.0845321 |
| lia-lin-int/chc-LIA-Lin_450.smt2 | unknown | 0.301567 |
| lia-lin-int/chc-LIA-Lin_451.smt2 | unknown | 1.64088 |
| lia-lin-int/chc-LIA-Lin_461.smt2 | unknown | 300.017 |
| lia-lin-int/chc-LIA-Lin_475.smt2 | unknown | 0.572042 |