| name | result | time |
|---|
| lia-lin/chc-LIA-Lin_000.smt2 | unknown | 300.021 |
| lia-lin/chc-LIA-Lin_001.smt2 | unknown | 300.046 |
| lia-lin/chc-LIA-Lin_002.smt2 | unknown | 300.028 |
| lia-lin/chc-LIA-Lin_003.smt2 | unknown | 300.018 |
| lia-lin/chc-LIA-Lin_004.smt2 | unknown | 300.022 |
| lia-lin/chc-LIA-Lin_005.smt2 | unknown | 300.016 |
| lia-lin/chc-LIA-Lin_006.smt2 | unknown | 300.05 |
| lia-lin/chc-LIA-Lin_008.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_009.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_010.smt2 | unknown | 300.014 |
| lia-lin/chc-LIA-Lin_012.smt2 | unknown | 300.017 |
| lia-lin/chc-LIA-Lin_013.smt2 | unknown | 300.098 |
| lia-lin/chc-LIA-Lin_014.smt2 | unknown | 300.023 |
| lia-lin/chc-LIA-Lin_015.smt2 | unknown | 300.032 |
| lia-lin/chc-LIA-Lin_016.smt2 | unknown | 300.018 |
| lia-lin/chc-LIA-Lin_017.smt2 | unknown | 300.096 |
| lia-lin/chc-LIA-Lin_018.smt2 | unknown | 300.08 |
| lia-lin/chc-LIA-Lin_019.smt2 | unknown | 300.017 |
| lia-lin/chc-LIA-Lin_020.smt2 | unknown | 300.02 |
| lia-lin/chc-LIA-Lin_021.smt2 | unknown | 300.029 |
| lia-lin/chc-LIA-Lin_022.smt2 | unknown | 300.106 |
| lia-lin/chc-LIA-Lin_023.smt2 | unknown | 300.076 |
| lia-lin/chc-LIA-Lin_026.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_027.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_029.smt2 | unknown | 300.043 |
| lia-lin/chc-LIA-Lin_032.smt2 | unsat | 0.0453211 |
| lia-lin/chc-LIA-Lin_034.smt2 | unsat | 0.0435371 |
| lia-lin/chc-LIA-Lin_036.smt2 | unsat | 0.0609209 |
| lia-lin/chc-LIA-Lin_037.smt2 | unsat | 0.097932 |
| lia-lin/chc-LIA-Lin_038.smt2 | unsat | 1.56098 |
| lia-lin/chc-LIA-Lin_043.smt2 | unknown | 300.014 |
| lia-lin/chc-LIA-Lin_044.smt2 | unknown | 300.053 |
| lia-lin/chc-LIA-Lin_045.smt2 | unknown | 300.05 |
| lia-lin/chc-LIA-Lin_047.smt2 | unknown | 300.075 |
| lia-lin/chc-LIA-Lin_050.smt2 | unknown | 300.106 |
| lia-lin/chc-LIA-Lin_052.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_053.smt2 | unknown | 300.069 |
| lia-lin/chc-LIA-Lin_057.smt2 | unknown | 300.102 |
| lia-lin/chc-LIA-Lin_059.smt2 | unknown | 300.017 |
| lia-lin/chc-LIA-Lin_060.smt2 | unsat | 0.044732 |
| lia-lin/chc-LIA-Lin_061.smt2 | unsat | 0.0879059 |
| lia-lin/chc-LIA-Lin_062.smt2 | unsat | 0.0413029 |
| lia-lin/chc-LIA-Lin_063.smt2 | unsat | 0.0428639 |
| lia-lin/chc-LIA-Lin_064.smt2 | unsat | 0.041285 |
| lia-lin/chc-LIA-Lin_065.smt2 | unsat | 0.0612761 |
| lia-lin/chc-LIA-Lin_067.smt2 | unsat | 0.044027 |
| lia-lin/chc-LIA-Lin_068.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_069.smt2 | unsat | 0.636646 |
| lia-lin/chc-LIA-Lin_071.smt2 | unsat | 0.0881259 |
| lia-lin/chc-LIA-Lin_072.smt2 | unsat | 0.0699061 |
| lia-lin/chc-LIA-Lin_073.smt2 | unknown | 300.053 |
| lia-lin/chc-LIA-Lin_074.smt2 | unknown | 300.11 |
| lia-lin/chc-LIA-Lin_075.smt2 | unsat | 3.79246 |
| lia-lin/chc-LIA-Lin_076.smt2 | unknown | 300.03 |
| lia-lin/chc-LIA-Lin_078.smt2 | unknown | 300.06 |
| lia-lin/chc-LIA-Lin_079.smt2 | unknown | 300.034 |
| lia-lin/chc-LIA-Lin_080.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_081.smt2 | unknown | 300.044 |
| lia-lin/chc-LIA-Lin_082.smt2 | unknown | 300.023 |
| lia-lin/chc-LIA-Lin_083.smt2 | unsat | 0.0497729 |
| lia-lin/chc-LIA-Lin_084.smt2 | unsat | 0.050562 |
| lia-lin/chc-LIA-Lin_085.smt2 | unknown | 300.018 |
| lia-lin/chc-LIA-Lin_086.smt2 | unsat | 0.0528781 |
| lia-lin/chc-LIA-Lin_087.smt2 | unknown | 300.018 |
| lia-lin/chc-LIA-Lin_088.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_089.smt2 | unsat | 0.143042 |
| lia-lin/chc-LIA-Lin_090.smt2 | unknown | 300.023 |
| lia-lin/chc-LIA-Lin_091.smt2 | unknown | 300.025 |
| lia-lin/chc-LIA-Lin_092.smt2 | unsat | 0.111175 |
| lia-lin/chc-LIA-Lin_093.smt2 | unknown | 300.045 |
| lia-lin/chc-LIA-Lin_094.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_095.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_096.smt2 | unsat | 0.112886 |
| lia-lin/chc-LIA-Lin_097.smt2 | unknown | 300.032 |
| lia-lin/chc-LIA-Lin_098.smt2 | unknown | 300.014 |
| lia-lin/chc-LIA-Lin_099.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_100.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_101.smt2 | unknown | 300.045 |
| lia-lin/chc-LIA-Lin_102.smt2 | unsat | 76.9827 |
| lia-lin/chc-LIA-Lin_103.smt2 | unknown | 300.037 |
| lia-lin/chc-LIA-Lin_104.smt2 | unknown | 300.107 |
| lia-lin/chc-LIA-Lin_105.smt2 | unknown | 300.023 |
| lia-lin/chc-LIA-Lin_106.smt2 | unknown | 300.088 |
| lia-lin/chc-LIA-Lin_107.smt2 | unknown | 300.017 |
| lia-lin/chc-LIA-Lin_108.smt2 | unknown | 300.041 |
| lia-lin/chc-LIA-Lin_109.smt2 | unknown | 300.075 |
| lia-lin/chc-LIA-Lin_110.smt2 | unknown | 300.123 |
| lia-lin/chc-LIA-Lin_111.smt2 | unsat | 0.0499341 |
| lia-lin/chc-LIA-Lin_112.smt2 | unknown | 300.023 |
| lia-lin/chc-LIA-Lin_113.smt2 | unknown | 300.106 |
| lia-lin/chc-LIA-Lin_114.smt2 | unknown | 300.014 |
| lia-lin/chc-LIA-Lin_115.smt2 | unknown | 300.016 |
| lia-lin/chc-LIA-Lin_116.smt2 | unsat | 0.0446769 |
| lia-lin/chc-LIA-Lin_117.smt2 | unsat | 0.0438059 |
| lia-lin/chc-LIA-Lin_118.smt2 | unknown | 300.056 |
| lia-lin/chc-LIA-Lin_119.smt2 | unsat | 0.05 |
| lia-lin/chc-LIA-Lin_120.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_121.smt2 | unknown | 300.023 |
| lia-lin/chc-LIA-Lin_122.smt2 | unknown | 300.025 |
| lia-lin/chc-LIA-Lin_123.smt2 | unsat | 0.228362 |
| lia-lin/chc-LIA-Lin_124.smt2 | unknown | 300.018 |
| lia-lin/chc-LIA-Lin_125.smt2 | unknown | 300.02 |
| lia-lin/chc-LIA-Lin_126.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_127.smt2 | unknown | 300.083 |
| lia-lin/chc-LIA-Lin_128.smt2 | unknown | 300.094 |
| lia-lin/chc-LIA-Lin_129.smt2 | unknown | 300.018 |
| lia-lin/chc-LIA-Lin_130.smt2 | unsat | 1.80433 |
| lia-lin/chc-LIA-Lin_131.smt2 | unknown | 300.056 |
| lia-lin/chc-LIA-Lin_132.smt2 | unknown | 300.016 |
| lia-lin/chc-LIA-Lin_133.smt2 | unsat | 1.66856 |
| lia-lin/chc-LIA-Lin_134.smt2 | unknown | 300.058 |
| lia-lin/chc-LIA-Lin_135.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_136.smt2 | unknown | 300.104 |
| lia-lin/chc-LIA-Lin_137.smt2 | unknown | 300.094 |
| lia-lin/chc-LIA-Lin_138.smt2 | unknown | 300.027 |
| lia-lin/chc-LIA-Lin_139.smt2 | unknown | 300.104 |
| lia-lin/chc-LIA-Lin_140.smt2 | unknown | 300.023 |
| lia-lin/chc-LIA-Lin_141.smt2 | unknown | 300.018 |
| lia-lin/chc-LIA-Lin_142.smt2 | unknown | 300.042 |
| lia-lin/chc-LIA-Lin_143.smt2 | unknown | 300.113 |
| lia-lin/chc-LIA-Lin_144.smt2 | unknown | 300.023 |
| lia-lin/chc-LIA-Lin_145.smt2 | unknown | 300.105 |
| lia-lin/chc-LIA-Lin_146.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_147.smt2 | unknown | 300.03 |
| lia-lin/chc-LIA-Lin_148.smt2 | unknown | 300.016 |
| lia-lin/chc-LIA-Lin_149.smt2 | unknown | 300.047 |
| lia-lin/chc-LIA-Lin_150.smt2 | unknown | 300.055 |
| lia-lin/chc-LIA-Lin_151.smt2 | unknown | 300.059 |
| lia-lin/chc-LIA-Lin_152.smt2 | unknown | 300.023 |
| lia-lin/chc-LIA-Lin_153.smt2 | unknown | 300.023 |
| lia-lin/chc-LIA-Lin_154.smt2 | unknown | 300.022 |
| lia-lin/chc-LIA-Lin_155.smt2 | unknown | 300.048 |
| lia-lin/chc-LIA-Lin_156.smt2 | unknown | 300.017 |
| lia-lin/chc-LIA-Lin_157.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_158.smt2 | unknown | 300.023 |
| lia-lin/chc-LIA-Lin_159.smt2 | unknown | 300.022 |
| lia-lin/chc-LIA-Lin_160.smt2 | unknown | 300.023 |
| lia-lin/chc-LIA-Lin_161.smt2 | unknown | 300.014 |
| lia-lin/chc-LIA-Lin_162.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_163.smt2 | unknown | 300.025 |
| lia-lin/chc-LIA-Lin_164.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_165.smt2 | unknown | 300.022 |
| lia-lin/chc-LIA-Lin_166.smt2 | unknown | 300.095 |
| lia-lin/chc-LIA-Lin_167.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_168.smt2 | unknown | 300.026 |
| lia-lin/chc-LIA-Lin_169.smt2 | unknown | 300.1 |
| lia-lin/chc-LIA-Lin_170.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_171.smt2 | unknown | 300.089 |
| lia-lin/chc-LIA-Lin_172.smt2 | unknown | 300.02 |
| lia-lin/chc-LIA-Lin_173.smt2 | unknown | 300.107 |
| lia-lin/chc-LIA-Lin_174.smt2 | unknown | 300.014 |
| lia-lin/chc-LIA-Lin_175.smt2 | unsat | 0.0458289 |
| lia-lin/chc-LIA-Lin_176.smt2 | unknown | 300.043 |
| lia-lin/chc-LIA-Lin_177.smt2 | unknown | 300.065 |
| lia-lin/chc-LIA-Lin_178.smt2 | unknown | 300.057 |
| lia-lin/chc-LIA-Lin_179.smt2 | unknown | 300.018 |
| lia-lin/chc-LIA-Lin_180.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_181.smt2 | unknown | 300.069 |
| lia-lin/chc-LIA-Lin_182.smt2 | unknown | 300.021 |
| lia-lin/chc-LIA-Lin_183.smt2 | unknown | 300.023 |
| lia-lin/chc-LIA-Lin_184.smt2 | unknown | 300.027 |
| lia-lin/chc-LIA-Lin_185.smt2 | unsat | 0.0453971 |
| lia-lin/chc-LIA-Lin_186.smt2 | unknown | 300.106 |
| lia-lin/chc-LIA-Lin_187.smt2 | unsat | 0.0428771 |
| lia-lin/chc-LIA-Lin_188.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_189.smt2 | unsat | 0.111246 |
| lia-lin/chc-LIA-Lin_190.smt2 | unknown | 300.116 |
| lia-lin/chc-LIA-Lin_191.smt2 | unknown | 300.023 |
| lia-lin/chc-LIA-Lin_192.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_193.smt2 | unknown | 300.014 |
| lia-lin/chc-LIA-Lin_194.smt2 | unknown | 300.082 |
| lia-lin/chc-LIA-Lin_195.smt2 | unknown | 300.091 |
| lia-lin/chc-LIA-Lin_196.smt2 | unknown | 300.039 |
| lia-lin/chc-LIA-Lin_197.smt2 | unsat | 0.055366 |
| lia-lin/chc-LIA-Lin_198.smt2 | unknown | 300.062 |
| lia-lin/chc-LIA-Lin_199.smt2 | unknown | 300.039 |
| lia-lin/chc-LIA-Lin_200.smt2 | unsat | 0.103513 |
| lia-lin/chc-LIA-Lin_201.smt2 | unsat | 0.0831829 |
| lia-lin/chc-LIA-Lin_202.smt2 | unknown | 300.09 |
| lia-lin/chc-LIA-Lin_203.smt2 | unknown | 300.069 |
| lia-lin/chc-LIA-Lin_204.smt2 | unknown | 300.033 |
| lia-lin/chc-LIA-Lin_205.smt2 | unknown | 300.075 |
| lia-lin/chc-LIA-Lin_206.smt2 | unknown | 300.025 |
| lia-lin/chc-LIA-Lin_207.smt2 | unknown | 300.057 |
| lia-lin/chc-LIA-Lin_208.smt2 | unknown | 300.062 |
| lia-lin/chc-LIA-Lin_209.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_210.smt2 | unknown | 300.064 |
| lia-lin/chc-LIA-Lin_211.smt2 | unknown | 300.108 |
| lia-lin/chc-LIA-Lin_212.smt2 | unknown | 300.101 |
| lia-lin/chc-LIA-Lin_213.smt2 | unknown | 300.026 |
| lia-lin/chc-LIA-Lin_214.smt2 | unknown | 300.066 |
| lia-lin/chc-LIA-Lin_215.smt2 | unknown | 300.025 |
| lia-lin/chc-LIA-Lin_216.smt2 | unknown | 300.072 |
| lia-lin/chc-LIA-Lin_217.smt2 | unknown | 300.023 |
| lia-lin/chc-LIA-Lin_218.smt2 | unknown | 300.025 |
| lia-lin/chc-LIA-Lin_219.smt2 | unknown | 300.069 |
| lia-lin/chc-LIA-Lin_220.smt2 | unknown | 300.045 |
| lia-lin/chc-LIA-Lin_221.smt2 | unknown | 300.115 |
| lia-lin/chc-LIA-Lin_222.smt2 | unknown | 300.104 |
| lia-lin/chc-LIA-Lin_223.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_224.smt2 | unknown | 300.115 |
| lia-lin/chc-LIA-Lin_225.smt2 | unknown | 300.049 |
| lia-lin/chc-LIA-Lin_226.smt2 | unknown | 300.013 |
| lia-lin/chc-LIA-Lin_227.smt2 | unknown | 300.111 |
| lia-lin/chc-LIA-Lin_228.smt2 | unknown | 300.114 |
| lia-lin/chc-LIA-Lin_229.smt2 | unknown | 300.115 |
| lia-lin/chc-LIA-Lin_230.smt2 | unknown | 300.018 |
| lia-lin/chc-LIA-Lin_231.smt2 | unknown | 300.106 |
| lia-lin/chc-LIA-Lin_232.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_233.smt2 | unknown | 300.027 |
| lia-lin/chc-LIA-Lin_234.smt2 | unknown | 300.029 |
| lia-lin/chc-LIA-Lin_235.smt2 | unknown | 300.025 |
| lia-lin/chc-LIA-Lin_236.smt2 | unknown | 300.016 |
| lia-lin/chc-LIA-Lin_237.smt2 | unknown | 300.05 |
| lia-lin/chc-LIA-Lin_238.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_239.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_240.smt2 | unknown | 300.025 |
| lia-lin/chc-LIA-Lin_241.smt2 | unknown | 300.103 |
| lia-lin/chc-LIA-Lin_242.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_243.smt2 | unknown | 300.057 |
| lia-lin/chc-LIA-Lin_244.smt2 | unknown | 300.055 |
| lia-lin/chc-LIA-Lin_245.smt2 | unknown | 300.051 |
| lia-lin/chc-LIA-Lin_246.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_247.smt2 | unknown | 300.038 |
| lia-lin/chc-LIA-Lin_248.smt2 | unknown | 300.071 |
| lia-lin/chc-LIA-Lin_249.smt2 | unknown | 300.079 |
| lia-lin/chc-LIA-Lin_250.smt2 | unknown | 300.018 |
| lia-lin/chc-LIA-Lin_251.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_252.smt2 | unknown | 300.038 |
| lia-lin/chc-LIA-Lin_253.smt2 | unknown | 300.108 |
| lia-lin/chc-LIA-Lin_254.smt2 | unknown | 300.025 |
| lia-lin/chc-LIA-Lin_255.smt2 | unknown | 300.021 |
| lia-lin/chc-LIA-Lin_256.smt2 | unknown | 300.022 |
| lia-lin/chc-LIA-Lin_257.smt2 | unknown | 300.064 |
| lia-lin/chc-LIA-Lin_258.smt2 | unknown | 300.088 |
| lia-lin/chc-LIA-Lin_259.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_260.smt2 | unknown | 300.044 |
| lia-lin/chc-LIA-Lin_261.smt2 | unknown | 300.041 |
| lia-lin/chc-LIA-Lin_263.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_265.smt2 | unknown | 300.106 |
| lia-lin/chc-LIA-Lin_266.smt2 | unknown | 300.023 |
| lia-lin/chc-LIA-Lin_267.smt2 | unknown | 300.021 |
| lia-lin/chc-LIA-Lin_269.smt2 | unknown | 300.013 |
| lia-lin/chc-LIA-Lin_270.smt2 | unknown | 300.035 |
| lia-lin/chc-LIA-Lin_279.smt2 | unknown | 300.016 |
| lia-lin/chc-LIA-Lin_280.smt2 | unknown | 300.014 |
| lia-lin/chc-LIA-Lin_283.smt2 | unknown | 300.045 |
| lia-lin/chc-LIA-Lin_289.smt2 | unknown | 300.021 |
| lia-lin/chc-LIA-Lin_290.smt2 | unknown | 300.07 |
| lia-lin/chc-LIA-Lin_291.smt2 | unknown | 300.125 |
| lia-lin/chc-LIA-Lin_292.smt2 | unknown | 300.051 |
| lia-lin/chc-LIA-Lin_293.smt2 | unknown | 300.074 |
| lia-lin/chc-LIA-Lin_294.smt2 | unknown | 300.106 |
| lia-lin/chc-LIA-Lin_295.smt2 | unknown | 300.014 |
| lia-lin/chc-LIA-Lin_296.smt2 | unknown | 300.115 |
| lia-lin/chc-LIA-Lin_297.smt2 | unsat | 0.470936 |
| lia-lin/chc-LIA-Lin_298.smt2 | unknown | 300.047 |
| lia-lin/chc-LIA-Lin_299.smt2 | unsat | 0.390275 |
| lia-lin/chc-LIA-Lin_300.smt2 | unknown | 300.026 |
| lia-lin/chc-LIA-Lin_301.smt2 | unknown | 300.05 |
| lia-lin/chc-LIA-Lin_303.smt2 | unknown | 300.106 |
| lia-lin/chc-LIA-Lin_304.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_305.smt2 | unknown | 300.05 |
| lia-lin/chc-LIA-Lin_306.smt2 | sat | 0.0407921 |
| lia-lin/chc-LIA-Lin_307.smt2 | sat | 0.0423439 |
| lia-lin/chc-LIA-Lin_308.smt2 | unknown | 300.034 |
| lia-lin/chc-LIA-Lin_309.smt2 | sat | 0.0421891 |
| lia-lin/chc-LIA-Lin_310.smt2 | sat | 0.073877 |
| lia-lin/chc-LIA-Lin_311.smt2 | sat | 0.0418389 |
| lia-lin/chc-LIA-Lin_312.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_313.smt2 | unsat | 0.0428061 |
| lia-lin/chc-LIA-Lin_314.smt2 | unknown | 300.055 |
| lia-lin/chc-LIA-Lin_315.smt2 | sat | 0.0428481 |
| lia-lin/chc-LIA-Lin_316.smt2 | unsat | 0.0471469 |
| lia-lin/chc-LIA-Lin_317.smt2 | sat | 0.0451161 |
| lia-lin/chc-LIA-Lin_318.smt2 | sat | 0.0485639 |
| lia-lin/chc-LIA-Lin_319.smt2 | unsat | 0.0477429 |
| lia-lin/chc-LIA-Lin_320.smt2 | sat | 0.0416509 |
| lia-lin/chc-LIA-Lin_321.smt2 | unsat | 0.0454619 |
| lia-lin/chc-LIA-Lin_322.smt2 | unsat | 0.0455651 |
| lia-lin/chc-LIA-Lin_323.smt2 | sat | 0.0408191 |
| lia-lin/chc-LIA-Lin_324.smt2 | sat | 0.0436249 |
| lia-lin/chc-LIA-Lin_325.smt2 | unknown | 300.089 |
| lia-lin/chc-LIA-Lin_326.smt2 | unsat | 0.0519681 |
| lia-lin/chc-LIA-Lin_327.smt2 | unsat | 0.049896 |
| lia-lin/chc-LIA-Lin_328.smt2 | unsat | 0.049468 |
| lia-lin/chc-LIA-Lin_329.smt2 | unsat | 0.0479331 |
| lia-lin/chc-LIA-Lin_330.smt2 | unsat | 0.04415 |
| lia-lin/chc-LIA-Lin_331.smt2 | unsat | 0.045202 |
| lia-lin/chc-LIA-Lin_332.smt2 | unsat | 0.0508041 |
| lia-lin/chc-LIA-Lin_333.smt2 | sat | 0.0416401 |
| lia-lin/chc-LIA-Lin_334.smt2 | unsat | 0.0490099 |
| lia-lin/chc-LIA-Lin_335.smt2 | unsat | 0.048459 |
| lia-lin/chc-LIA-Lin_336.smt2 | unsat | 0.0490479 |
| lia-lin/chc-LIA-Lin_337.smt2 | unsat | 0.155193 |
| lia-lin/chc-LIA-Lin_338.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_340.smt2 | unknown | 300.066 |
| lia-lin/chc-LIA-Lin_341.smt2 | unknown | 300.014 |
| lia-lin/chc-LIA-Lin_343.smt2 | unsat | 2.34805 |
| lia-lin/chc-LIA-Lin_344.smt2 | unknown | 300.065 |
| lia-lin/chc-LIA-Lin_345.smt2 | unsat | 0.433371 |
| lia-lin/chc-LIA-Lin_346.smt2 | unsat | 0.104692 |
| lia-lin/chc-LIA-Lin_347.smt2 | unsat | 0.18306 |
| lia-lin/chc-LIA-Lin_348.smt2 | unsat | 0.0650701 |
| lia-lin/chc-LIA-Lin_349.smt2 | unsat | 0.142376 |
| lia-lin/chc-LIA-Lin_350.smt2 | sat | 0.0780051 |
| lia-lin/chc-LIA-Lin_352.smt2 | unsat | 0.768476 |
| lia-lin/chc-LIA-Lin_353.smt2 | unsat | 0.818012 |
| lia-lin/chc-LIA-Lin_355.smt2 | unknown | 300.037 |
| lia-lin/chc-LIA-Lin_356.smt2 | unknown | 300.096 |
| lia-lin/chc-LIA-Lin_357.smt2 | unknown | 300.095 |
| lia-lin/chc-LIA-Lin_358.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_360.smt2 | unknown | 300.042 |
| lia-lin/chc-LIA-Lin_361.smt2 | unsat | 11.3509 |
| lia-lin/chc-LIA-Lin_362.smt2 | unknown | 300.067 |
| lia-lin/chc-LIA-Lin_364.smt2 | unknown | 300.075 |
| lia-lin/chc-LIA-Lin_366.smt2 | unknown | 300.026 |
| lia-lin/chc-LIA-Lin_369.smt2 | unknown | 300.042 |
| lia-lin/chc-LIA-Lin_370.smt2 | unsat | 18.0227 |
| lia-lin/chc-LIA-Lin_371.smt2 | unsat | 3.61555 |
| lia-lin/chc-LIA-Lin_372.smt2 | unknown | 300.091 |
| lia-lin/chc-LIA-Lin_373.smt2 | unknown | 300.035 |
| lia-lin/chc-LIA-Lin_374.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_375.smt2 | unknown | 300.042 |
| lia-lin/chc-LIA-Lin_378.smt2 | unknown | 300.105 |
| lia-lin/chc-LIA-Lin_379.smt2 | unknown | 300.079 |
| lia-lin/chc-LIA-Lin_381.smt2 | unknown | 300.071 |
| lia-lin/chc-LIA-Lin_382.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_385.smt2 | unsat | 69.7016 |
| lia-lin/chc-LIA-Lin_386.smt2 | unknown | 300.058 |
| lia-lin/chc-LIA-Lin_388.smt2 | unknown | 300.049 |
| lia-lin/chc-LIA-Lin_392.smt2 | unknown | 300.061 |
| lia-lin/chc-LIA-Lin_393.smt2 | unknown | 300.037 |
| lia-lin/chc-LIA-Lin_395.smt2 | unsat | 4.41338 |
| lia-lin/chc-LIA-Lin_396.smt2 | unsat | 7.08216 |
| lia-lin/chc-LIA-Lin_397.smt2 | unknown | 300.02 |
| lia-lin/chc-LIA-Lin_401.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_402.smt2 | unknown | 300.018 |
| lia-lin/chc-LIA-Lin_405.smt2 | unknown | 300.078 |
| lia-lin/chc-LIA-Lin_406.smt2 | unsat | 71.6823 |
| lia-lin/chc-LIA-Lin_408.smt2 | unsat | 10.031 |
| lia-lin/chc-LIA-Lin_409.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_410.smt2 | unknown | 300.041 |
| lia-lin/chc-LIA-Lin_411.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_412.smt2 | sat | 0.064388 |
| lia-lin/chc-LIA-Lin_413.smt2 | sat | 0.051655 |
| lia-lin/chc-LIA-Lin_414.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_415.smt2 | unknown | 300.014 |
| lia-lin/chc-LIA-Lin_416.smt2 | sat | 0.044657 |
| lia-lin/chc-LIA-Lin_417.smt2 | sat | 0.040681 |
| lia-lin/chc-LIA-Lin_418.smt2 | sat | 0.0600939 |
| lia-lin/chc-LIA-Lin_419.smt2 | sat | 0.041915 |
| lia-lin/chc-LIA-Lin_420.smt2 | unknown | 300.113 |
| lia-lin/chc-LIA-Lin_421.smt2 | unknown | 300.066 |
| lia-lin/chc-LIA-Lin_422.smt2 | sat | 0.082777 |
| lia-lin/chc-LIA-Lin_423.smt2 | sat | 0.0498511 |
| lia-lin/chc-LIA-Lin_424.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_425.smt2 | unknown | 300.033 |
| lia-lin/chc-LIA-Lin_426.smt2 | unknown | 300.022 |
| lia-lin/chc-LIA-Lin_427.smt2 | unknown | 300.016 |
| lia-lin/chc-LIA-Lin_428.smt2 | sat | 0.0978861 |
| lia-lin/chc-LIA-Lin_429.smt2 | sat | 0.094573 |
| lia-lin/chc-LIA-Lin_430.smt2 | sat | 0.082256 |
| lia-lin/chc-LIA-Lin_431.smt2 | sat | 0.122603 |
| lia-lin/chc-LIA-Lin_433.smt2 | unsat | 3.96246 |
| lia-lin/chc-LIA-Lin_434.smt2 | unknown | 300.111 |
| lia-lin/chc-LIA-Lin_435.smt2 | sat | 0.100499 |
| lia-lin/chc-LIA-Lin_436.smt2 | unknown | 300.035 |
| lia-lin/chc-LIA-Lin_437.smt2 | unknown | 300.029 |
| lia-lin/chc-LIA-Lin_438.smt2 | sat | 0.074954 |
| lia-lin/chc-LIA-Lin_439.smt2 | unknown | 300.016 |
| lia-lin/chc-LIA-Lin_440.smt2 | sat | 0.0800931 |
| lia-lin/chc-LIA-Lin_441.smt2 | unknown | 300.014 |
| lia-lin/chc-LIA-Lin_443.smt2 | unknown | 300.023 |
| lia-lin/chc-LIA-Lin_444.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_445.smt2 | unknown | 0.077651 |
| lia-lin/chc-LIA-Lin_446.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_447.smt2 | unknown | 300.052 |
| lia-lin/chc-LIA-Lin_448.smt2 | unsat | 45.0839 |
| lia-lin/chc-LIA-Lin_449.smt2 | unsat | 6.474 |
| lia-lin/chc-LIA-Lin_450.smt2 | unknown | 300.096 |
| lia-lin/chc-LIA-Lin_451.smt2 | unknown | 300.058 |
| lia-lin/chc-LIA-Lin_452.smt2 | unknown | 300.064 |
| lia-lin/chc-LIA-Lin_453.smt2 | unknown | 300.016 |
| lia-lin/chc-LIA-Lin_454.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_455.smt2 | unknown | 300.035 |
| lia-lin/chc-LIA-Lin_456.smt2 | unknown | 300.034 |
| lia-lin/chc-LIA-Lin_457.smt2 | unsat | 2.12587 |
| lia-lin/chc-LIA-Lin_458.smt2 | unsat | 64.951 |
| lia-lin/chc-LIA-Lin_459.smt2 | unsat | 5.02449 |
| lia-lin/chc-LIA-Lin_460.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_461.smt2 | unknown | 300.035 |
| lia-lin/chc-LIA-Lin_462.smt2 | unknown | 300.059 |
| lia-lin/chc-LIA-Lin_463.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_465.smt2 | unknown | 300.096 |
| lia-lin/chc-LIA-Lin_466.smt2 | unknown | 300.023 |
| lia-lin/chc-LIA-Lin_467.smt2 | unknown | 300.028 |
| lia-lin/chc-LIA-Lin_468.smt2 | unknown | 300.026 |
| lia-lin/chc-LIA-Lin_469.smt2 | unsat | 215.231 |
| lia-lin/chc-LIA-Lin_470.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_471.smt2 | unknown | 300.029 |
| lia-lin/chc-LIA-Lin_472.smt2 | unknown | 300.025 |
| lia-lin/chc-LIA-Lin_473.smt2 | unknown | 300.063 |
| lia-lin/chc-LIA-Lin_474.smt2 | unsat | 15.2577 |
| lia-lin/chc-LIA-Lin_475.smt2 | unsat | 148.085 |
| lia-lin/chc-LIA-Lin_476.smt2 | unknown | 300.016 |
| lia-lin/chc-LIA-Lin_477.smt2 | unsat | 13.1322 |
| lia-lin/chc-LIA-Lin_478.smt2 | unsat | 16.7724 |
| lia-lin/chc-LIA-Lin_479.smt2 | unknown | 300.048 |
| lia-lin/chc-LIA-Lin_480.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_481.smt2 | unknown | 300.032 |
| lia-lin/chc-LIA-Lin_482.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_483.smt2 | unknown | 300.066 |
| lia-lin/chc-LIA-Lin_484.smt2 | unknown | 300.056 |
| lia-lin/chc-LIA-Lin_485.smt2 | unknown | 300.066 |
| lia-lin/chc-LIA-Lin_486.smt2 | unsat | 6.79336 |
| lia-lin/chc-LIA-Lin_487.smt2 | unknown | 300.021 |
| lia-lin/chc-LIA-Lin_488.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_489.smt2 | unknown | 300.016 |
| lia-lin/chc-LIA-Lin_491.smt2 | unknown | 300.029 |
| lia-lin/chc-LIA-Lin_492.smt2 | unknown | 300.03 |
| lia-lin/chc-LIA-Lin_493.smt2 | unsat | 4.99794 |
| lia-lin/chc-LIA-Lin_494.smt2 | unknown | 300.073 |
| lia-lin/chc-LIA-Lin_495.smt2 | unknown | 300.014 |
| lia-lin/chc-LIA-Lin_496.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_497.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_498.smt2 | unknown | 300.034 |