| name | result | time |
|---|
| lia-lin/chc-LIA-Lin_000.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_001.smt2 | unknown | 300.076 |
| lia-lin/chc-LIA-Lin_002.smt2 | unknown | 300.022 |
| lia-lin/chc-LIA-Lin_003.smt2 | unknown | 300.025 |
| lia-lin/chc-LIA-Lin_004.smt2 | unknown | 300.074 |
| lia-lin/chc-LIA-Lin_005.smt2 | unknown | 300.103 |
| lia-lin/chc-LIA-Lin_006.smt2 | unknown | 300.055 |
| lia-lin/chc-LIA-Lin_008.smt2 | unknown | 300.086 |
| lia-lin/chc-LIA-Lin_009.smt2 | unknown | 300.035 |
| lia-lin/chc-LIA-Lin_010.smt2 | sat | 0.092318 |
| lia-lin/chc-LIA-Lin_012.smt2 | unknown | 300.108 |
| lia-lin/chc-LIA-Lin_013.smt2 | unknown | 300.046 |
| lia-lin/chc-LIA-Lin_014.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_015.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_016.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_017.smt2 | unknown | 300.088 |
| lia-lin/chc-LIA-Lin_018.smt2 | sat | 65.9707 |
| lia-lin/chc-LIA-Lin_019.smt2 | sat | 131.596 |
| lia-lin/chc-LIA-Lin_020.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_021.smt2 | sat | 9.53346 |
| lia-lin/chc-LIA-Lin_022.smt2 | unknown | 300.018 |
| lia-lin/chc-LIA-Lin_023.smt2 | sat | 230.707 |
| lia-lin/chc-LIA-Lin_026.smt2 | unknown | 300.016 |
| lia-lin/chc-LIA-Lin_027.smt2 | unknown | 300.033 |
| lia-lin/chc-LIA-Lin_029.smt2 | unknown | 300.082 |
| lia-lin/chc-LIA-Lin_032.smt2 | unsat | 0.050011 |
| lia-lin/chc-LIA-Lin_034.smt2 | unsat | 0.048502 |
| lia-lin/chc-LIA-Lin_036.smt2 | unsat | 0.098522 |
| lia-lin/chc-LIA-Lin_037.smt2 | unsat | 0.166616 |
| lia-lin/chc-LIA-Lin_038.smt2 | unsat | 2.59891 |
| lia-lin/chc-LIA-Lin_043.smt2 | unknown | 300.081 |
| lia-lin/chc-LIA-Lin_044.smt2 | unknown | 300.097 |
| lia-lin/chc-LIA-Lin_045.smt2 | unknown | 300.081 |
| lia-lin/chc-LIA-Lin_047.smt2 | unknown | 300.074 |
| lia-lin/chc-LIA-Lin_050.smt2 | unsat | 222.569 |
| lia-lin/chc-LIA-Lin_052.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_053.smt2 | unknown | 300.078 |
| lia-lin/chc-LIA-Lin_057.smt2 | unknown | 300.104 |
| lia-lin/chc-LIA-Lin_059.smt2 | unknown | 300.096 |
| lia-lin/chc-LIA-Lin_060.smt2 | unsat | 0.0510879 |
| lia-lin/chc-LIA-Lin_061.smt2 | unsat | 0.098633 |
| lia-lin/chc-LIA-Lin_062.smt2 | unsat | 0.045299 |
| lia-lin/chc-LIA-Lin_063.smt2 | unsat | 0.0470351 |
| lia-lin/chc-LIA-Lin_064.smt2 | unsat | 0.045714 |
| lia-lin/chc-LIA-Lin_065.smt2 | unsat | 0.127446 |
| lia-lin/chc-LIA-Lin_067.smt2 | unsat | 0.0476519 |
| lia-lin/chc-LIA-Lin_068.smt2 | unknown | 300.086 |
| lia-lin/chc-LIA-Lin_069.smt2 | unsat | 85.7064 |
| lia-lin/chc-LIA-Lin_071.smt2 | unsat | 0.140782 |
| lia-lin/chc-LIA-Lin_072.smt2 | unsat | 0.755032 |
| lia-lin/chc-LIA-Lin_073.smt2 | sat | 0.393438 |
| lia-lin/chc-LIA-Lin_074.smt2 | unknown | 300.029 |
| lia-lin/chc-LIA-Lin_075.smt2 | unknown | 300.038 |
| lia-lin/chc-LIA-Lin_076.smt2 | unknown | 300.051 |
| lia-lin/chc-LIA-Lin_078.smt2 | unknown | 300.02 |
| lia-lin/chc-LIA-Lin_079.smt2 | sat | 0.086437 |
| lia-lin/chc-LIA-Lin_080.smt2 | sat | 0.076923 |
| lia-lin/chc-LIA-Lin_081.smt2 | sat | 0.073496 |
| lia-lin/chc-LIA-Lin_082.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_083.smt2 | unsat | 0.0675939 |
| lia-lin/chc-LIA-Lin_084.smt2 | unsat | 0.0550131 |
| lia-lin/chc-LIA-Lin_085.smt2 | sat | 0.173086 |
| lia-lin/chc-LIA-Lin_086.smt2 | unsat | 0.0738609 |
| lia-lin/chc-LIA-Lin_087.smt2 | sat | 0.119419 |
| lia-lin/chc-LIA-Lin_088.smt2 | sat | 0.0981099 |
| lia-lin/chc-LIA-Lin_089.smt2 | unsat | 0.334962 |
| lia-lin/chc-LIA-Lin_090.smt2 | unknown | 300.018 |
| lia-lin/chc-LIA-Lin_091.smt2 | unknown | 300.083 |
| lia-lin/chc-LIA-Lin_092.smt2 | unsat | 0.348893 |
| lia-lin/chc-LIA-Lin_093.smt2 | sat | 2.48658 |
| lia-lin/chc-LIA-Lin_094.smt2 | sat | 0.144715 |
| lia-lin/chc-LIA-Lin_095.smt2 | sat | 0.0711831 |
| lia-lin/chc-LIA-Lin_096.smt2 | unsat | 1.83392 |
| lia-lin/chc-LIA-Lin_097.smt2 | unknown | 300.067 |
| lia-lin/chc-LIA-Lin_098.smt2 | sat | 0.304875 |
| lia-lin/chc-LIA-Lin_099.smt2 | unknown | 300.036 |
| lia-lin/chc-LIA-Lin_100.smt2 | unknown | 300.087 |
| lia-lin/chc-LIA-Lin_101.smt2 | unknown | 300.06 |
| lia-lin/chc-LIA-Lin_102.smt2 | unknown | 300.117 |
| lia-lin/chc-LIA-Lin_103.smt2 | unknown | 300.023 |
| lia-lin/chc-LIA-Lin_104.smt2 | unknown | 300.036 |
| lia-lin/chc-LIA-Lin_105.smt2 | unknown | 300.025 |
| lia-lin/chc-LIA-Lin_106.smt2 | unknown | 300.034 |
| lia-lin/chc-LIA-Lin_107.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_108.smt2 | unknown | 300.077 |
| lia-lin/chc-LIA-Lin_109.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_110.smt2 | sat | 0.0610301 |
| lia-lin/chc-LIA-Lin_111.smt2 | unsat | 0.0982739 |
| lia-lin/chc-LIA-Lin_112.smt2 | sat | 0.092555 |
| lia-lin/chc-LIA-Lin_113.smt2 | sat | 0.143176 |
| lia-lin/chc-LIA-Lin_114.smt2 | sat | 0.135588 |
| lia-lin/chc-LIA-Lin_115.smt2 | sat | 0.0638609 |
| lia-lin/chc-LIA-Lin_116.smt2 | unsat | 0.051001 |
| lia-lin/chc-LIA-Lin_117.smt2 | unsat | 0.0485141 |
| lia-lin/chc-LIA-Lin_118.smt2 | sat | 0.053079 |
| lia-lin/chc-LIA-Lin_119.smt2 | unsat | 0.0932389 |
| lia-lin/chc-LIA-Lin_120.smt2 | sat | 0.049266 |
| lia-lin/chc-LIA-Lin_121.smt2 | sat | 0.0508251 |
| lia-lin/chc-LIA-Lin_122.smt2 | sat | 0.761283 |
| lia-lin/chc-LIA-Lin_123.smt2 | unsat | 0.455889 |
| lia-lin/chc-LIA-Lin_124.smt2 | sat | 2.98356 |
| lia-lin/chc-LIA-Lin_125.smt2 | unknown | 300.021 |
| lia-lin/chc-LIA-Lin_126.smt2 | sat | 3.26497 |
| lia-lin/chc-LIA-Lin_127.smt2 | unknown | 300.032 |
| lia-lin/chc-LIA-Lin_128.smt2 | sat | 0.10916 |
| lia-lin/chc-LIA-Lin_129.smt2 | sat | 1.70237 |
| lia-lin/chc-LIA-Lin_130.smt2 | unsat | 3.03176 |
| lia-lin/chc-LIA-Lin_131.smt2 | sat | 2.04792 |
| lia-lin/chc-LIA-Lin_132.smt2 | sat | 1.2805 |
| lia-lin/chc-LIA-Lin_133.smt2 | unsat | 2.89152 |
| lia-lin/chc-LIA-Lin_134.smt2 | unknown | 300.033 |
| lia-lin/chc-LIA-Lin_135.smt2 | unknown | 300.08 |
| lia-lin/chc-LIA-Lin_136.smt2 | unknown | 300.038 |
| lia-lin/chc-LIA-Lin_137.smt2 | unknown | 300.023 |
| lia-lin/chc-LIA-Lin_138.smt2 | unknown | 300.033 |
| lia-lin/chc-LIA-Lin_139.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_140.smt2 | unknown | 300.116 |
| lia-lin/chc-LIA-Lin_141.smt2 | unknown | 300.029 |
| lia-lin/chc-LIA-Lin_142.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_143.smt2 | unknown | 300.025 |
| lia-lin/chc-LIA-Lin_144.smt2 | unknown | 300.029 |
| lia-lin/chc-LIA-Lin_145.smt2 | unknown | 300.017 |
| lia-lin/chc-LIA-Lin_146.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_147.smt2 | sat | 87.5175 |
| lia-lin/chc-LIA-Lin_148.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_149.smt2 | unknown | 300.02 |
| lia-lin/chc-LIA-Lin_150.smt2 | unknown | 300.048 |
| lia-lin/chc-LIA-Lin_151.smt2 | unknown | 300.03 |
| lia-lin/chc-LIA-Lin_152.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_153.smt2 | unknown | 300.016 |
| lia-lin/chc-LIA-Lin_154.smt2 | unknown | 300.03 |
| lia-lin/chc-LIA-Lin_155.smt2 | unknown | 300.034 |
| lia-lin/chc-LIA-Lin_156.smt2 | sat | 30.13 |
| lia-lin/chc-LIA-Lin_157.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_158.smt2 | unknown | 300.03 |
| lia-lin/chc-LIA-Lin_159.smt2 | unknown | 300.104 |
| lia-lin/chc-LIA-Lin_160.smt2 | unknown | 300.026 |
| lia-lin/chc-LIA-Lin_161.smt2 | unknown | 300.036 |
| lia-lin/chc-LIA-Lin_162.smt2 | unknown | 300.041 |
| lia-lin/chc-LIA-Lin_163.smt2 | unknown | 300.018 |
| lia-lin/chc-LIA-Lin_164.smt2 | unknown | 300.025 |
| lia-lin/chc-LIA-Lin_165.smt2 | unknown | 300.085 |
| lia-lin/chc-LIA-Lin_166.smt2 | unknown | 300.02 |
| lia-lin/chc-LIA-Lin_167.smt2 | unknown | 300.029 |
| lia-lin/chc-LIA-Lin_168.smt2 | unknown | 300.11 |
| lia-lin/chc-LIA-Lin_169.smt2 | unknown | 300.026 |
| lia-lin/chc-LIA-Lin_170.smt2 | sat | 0.091212 |
| lia-lin/chc-LIA-Lin_171.smt2 | sat | 0.878435 |
| lia-lin/chc-LIA-Lin_172.smt2 | sat | 0.164649 |
| lia-lin/chc-LIA-Lin_173.smt2 | sat | 0.268019 |
| lia-lin/chc-LIA-Lin_174.smt2 | sat | 0.0543519 |
| lia-lin/chc-LIA-Lin_175.smt2 | unsat | 0.0555121 |
| lia-lin/chc-LIA-Lin_176.smt2 | sat | 0.0526201 |
| lia-lin/chc-LIA-Lin_177.smt2 | sat | 0.064785 |
| lia-lin/chc-LIA-Lin_178.smt2 | sat | 0.107903 |
| lia-lin/chc-LIA-Lin_179.smt2 | sat | 0.208057 |
| lia-lin/chc-LIA-Lin_180.smt2 | unknown | 300.045 |
| lia-lin/chc-LIA-Lin_181.smt2 | sat | 0.137034 |
| lia-lin/chc-LIA-Lin_182.smt2 | sat | 0.118948 |
| lia-lin/chc-LIA-Lin_183.smt2 | sat | 0.0520241 |
| lia-lin/chc-LIA-Lin_184.smt2 | sat | 0.0626749 |
| lia-lin/chc-LIA-Lin_185.smt2 | unsat | 0.0490061 |
| lia-lin/chc-LIA-Lin_186.smt2 | sat | 0.06122 |
| lia-lin/chc-LIA-Lin_187.smt2 | unsat | 0.0494931 |
| lia-lin/chc-LIA-Lin_188.smt2 | sat | 0.0591241 |
| lia-lin/chc-LIA-Lin_189.smt2 | unsat | 0.107587 |
| lia-lin/chc-LIA-Lin_190.smt2 | sat | 0.661304 |
| lia-lin/chc-LIA-Lin_191.smt2 | sat | 0.111163 |
| lia-lin/chc-LIA-Lin_192.smt2 | sat | 0.0803679 |
| lia-lin/chc-LIA-Lin_193.smt2 | sat | 0.238893 |
| lia-lin/chc-LIA-Lin_194.smt2 | sat | 0.068133 |
| lia-lin/chc-LIA-Lin_195.smt2 | sat | 0.135211 |
| lia-lin/chc-LIA-Lin_196.smt2 | sat | 0.097718 |
| lia-lin/chc-LIA-Lin_197.smt2 | unsat | 0.107308 |
| lia-lin/chc-LIA-Lin_198.smt2 | sat | 0.301519 |
| lia-lin/chc-LIA-Lin_199.smt2 | unknown | 300.022 |
| lia-lin/chc-LIA-Lin_200.smt2 | unsat | 0.10422 |
| lia-lin/chc-LIA-Lin_201.smt2 | unsat | 0.0911589 |
| lia-lin/chc-LIA-Lin_202.smt2 | sat | 3.74033 |
| lia-lin/chc-LIA-Lin_203.smt2 | sat | 0.236649 |
| lia-lin/chc-LIA-Lin_204.smt2 | sat | 0.07345 |
| lia-lin/chc-LIA-Lin_205.smt2 | sat | 0.068319 |
| lia-lin/chc-LIA-Lin_206.smt2 | sat | 27.894 |
| lia-lin/chc-LIA-Lin_207.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_208.smt2 | unknown | 300.034 |
| lia-lin/chc-LIA-Lin_209.smt2 | unknown | 300.022 |
| lia-lin/chc-LIA-Lin_210.smt2 | unknown | 300.033 |
| lia-lin/chc-LIA-Lin_211.smt2 | sat | 111.028 |
| lia-lin/chc-LIA-Lin_212.smt2 | sat | 14.7473 |
| lia-lin/chc-LIA-Lin_213.smt2 | unknown | 300.105 |
| lia-lin/chc-LIA-Lin_214.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_215.smt2 | unknown | 300.022 |
| lia-lin/chc-LIA-Lin_216.smt2 | unknown | 300.028 |
| lia-lin/chc-LIA-Lin_217.smt2 | sat | 2.80859 |
| lia-lin/chc-LIA-Lin_218.smt2 | sat | 3.36035 |
| lia-lin/chc-LIA-Lin_219.smt2 | unknown | 300.04 |
| lia-lin/chc-LIA-Lin_220.smt2 | sat | 6.46215 |
| lia-lin/chc-LIA-Lin_221.smt2 | sat | 89.456 |
| lia-lin/chc-LIA-Lin_222.smt2 | unknown | 300.076 |
| lia-lin/chc-LIA-Lin_223.smt2 | sat | 3.16966 |
| lia-lin/chc-LIA-Lin_224.smt2 | sat | 3.4322 |
| lia-lin/chc-LIA-Lin_225.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_226.smt2 | unknown | 300.071 |
| lia-lin/chc-LIA-Lin_227.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_228.smt2 | sat | 2.21452 |
| lia-lin/chc-LIA-Lin_229.smt2 | unknown | 300.094 |
| lia-lin/chc-LIA-Lin_230.smt2 | sat | 1.28205 |
| lia-lin/chc-LIA-Lin_231.smt2 | unknown | 300.014 |
| lia-lin/chc-LIA-Lin_232.smt2 | sat | 3.49252 |
| lia-lin/chc-LIA-Lin_233.smt2 | unknown | 300.097 |
| lia-lin/chc-LIA-Lin_234.smt2 | sat | 2.96596 |
| lia-lin/chc-LIA-Lin_235.smt2 | sat | 142.199 |
| lia-lin/chc-LIA-Lin_236.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_237.smt2 | sat | 26.7097 |
| lia-lin/chc-LIA-Lin_238.smt2 | unknown | 300.035 |
| lia-lin/chc-LIA-Lin_239.smt2 | unknown | 300.027 |
| lia-lin/chc-LIA-Lin_240.smt2 | unknown | 300.096 |
| lia-lin/chc-LIA-Lin_241.smt2 | sat | 1.41255 |
| lia-lin/chc-LIA-Lin_242.smt2 | unknown | 300.033 |
| lia-lin/chc-LIA-Lin_243.smt2 | unknown | 300.106 |
| lia-lin/chc-LIA-Lin_244.smt2 | unknown | 300.035 |
| lia-lin/chc-LIA-Lin_245.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_246.smt2 | sat | 4.59211 |
| lia-lin/chc-LIA-Lin_247.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_248.smt2 | unknown | 300.106 |
| lia-lin/chc-LIA-Lin_249.smt2 | sat | 5.12263 |
| lia-lin/chc-LIA-Lin_250.smt2 | sat | 39.4942 |
| lia-lin/chc-LIA-Lin_251.smt2 | sat | 5.12623 |
| lia-lin/chc-LIA-Lin_252.smt2 | sat | 31.3232 |
| lia-lin/chc-LIA-Lin_253.smt2 | sat | 37.6495 |
| lia-lin/chc-LIA-Lin_254.smt2 | sat | 20.0175 |
| lia-lin/chc-LIA-Lin_255.smt2 | sat | 2.69002 |
| lia-lin/chc-LIA-Lin_256.smt2 | sat | 62.3457 |
| lia-lin/chc-LIA-Lin_257.smt2 | unknown | 300.05 |
| lia-lin/chc-LIA-Lin_258.smt2 | sat | 2.83045 |
| lia-lin/chc-LIA-Lin_259.smt2 | sat | 66.7749 |
| lia-lin/chc-LIA-Lin_260.smt2 | sat | 1.53405 |
| lia-lin/chc-LIA-Lin_261.smt2 | unknown | 300.036 |
| lia-lin/chc-LIA-Lin_263.smt2 | unknown | 300.045 |
| lia-lin/chc-LIA-Lin_265.smt2 | sat | 0.0703021 |
| lia-lin/chc-LIA-Lin_266.smt2 | unknown | 300.054 |
| lia-lin/chc-LIA-Lin_267.smt2 | sat | 235.991 |
| lia-lin/chc-LIA-Lin_269.smt2 | sat | 7.22833 |
| lia-lin/chc-LIA-Lin_270.smt2 | unknown | 300.035 |
| lia-lin/chc-LIA-Lin_279.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_280.smt2 | unknown | 300.078 |
| lia-lin/chc-LIA-Lin_283.smt2 | unknown | 300.047 |
| lia-lin/chc-LIA-Lin_289.smt2 | unknown | 300.025 |
| lia-lin/chc-LIA-Lin_290.smt2 | sat | 0.13092 |
| lia-lin/chc-LIA-Lin_291.smt2 | sat | 0.069114 |
| lia-lin/chc-LIA-Lin_292.smt2 | sat | 4.69686 |
| lia-lin/chc-LIA-Lin_293.smt2 | sat | 0.0782899 |
| lia-lin/chc-LIA-Lin_294.smt2 | sat | 0.128998 |
| lia-lin/chc-LIA-Lin_295.smt2 | sat | 0.0696799 |
| lia-lin/chc-LIA-Lin_296.smt2 | sat | 0.74446 |
| lia-lin/chc-LIA-Lin_297.smt2 | unsat | 0.714972 |
| lia-lin/chc-LIA-Lin_298.smt2 | sat | 3.49978 |
| lia-lin/chc-LIA-Lin_299.smt2 | unsat | 0.590949 |
| lia-lin/chc-LIA-Lin_300.smt2 | sat | 36.5353 |
| lia-lin/chc-LIA-Lin_301.smt2 | unknown | 300.097 |
| lia-lin/chc-LIA-Lin_303.smt2 | unknown | 300.076 |
| lia-lin/chc-LIA-Lin_304.smt2 | sat | 2.98308 |
| lia-lin/chc-LIA-Lin_305.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_306.smt2 | sat | 0.043872 |
| lia-lin/chc-LIA-Lin_307.smt2 | sat | 0.0450461 |
| lia-lin/chc-LIA-Lin_308.smt2 | sat | 0.0615569 |
| lia-lin/chc-LIA-Lin_309.smt2 | sat | 0.0448259 |
| lia-lin/chc-LIA-Lin_310.smt2 | sat | 0.0459749 |
| lia-lin/chc-LIA-Lin_311.smt2 | sat | 0.0430969 |
| lia-lin/chc-LIA-Lin_312.smt2 | unknown | 300.03 |
| lia-lin/chc-LIA-Lin_313.smt2 | unsat | 0.0471231 |
| lia-lin/chc-LIA-Lin_314.smt2 | sat | 0.051159 |
| lia-lin/chc-LIA-Lin_315.smt2 | sat | 0.0483661 |
| lia-lin/chc-LIA-Lin_316.smt2 | unsat | 0.051587 |
| lia-lin/chc-LIA-Lin_317.smt2 | sat | 0.085449 |
| lia-lin/chc-LIA-Lin_318.smt2 | sat | 0.0581701 |
| lia-lin/chc-LIA-Lin_319.smt2 | unsat | 0.0546011 |
| lia-lin/chc-LIA-Lin_320.smt2 | sat | 0.0443421 |
| lia-lin/chc-LIA-Lin_321.smt2 | unsat | 0.0533529 |
| lia-lin/chc-LIA-Lin_322.smt2 | unsat | 0.047081 |
| lia-lin/chc-LIA-Lin_323.smt2 | sat | 0.0437161 |
| lia-lin/chc-LIA-Lin_324.smt2 | sat | 0.0463381 |
| lia-lin/chc-LIA-Lin_325.smt2 | sat | 0.0659911 |
| lia-lin/chc-LIA-Lin_326.smt2 | unsat | 0.059554 |
| lia-lin/chc-LIA-Lin_327.smt2 | unsat | 0.056978 |
| lia-lin/chc-LIA-Lin_328.smt2 | unsat | 0.056484 |
| lia-lin/chc-LIA-Lin_329.smt2 | unsat | 0.0565011 |
| lia-lin/chc-LIA-Lin_330.smt2 | unsat | 0.048691 |
| lia-lin/chc-LIA-Lin_331.smt2 | unsat | 0.055553 |
| lia-lin/chc-LIA-Lin_332.smt2 | unsat | 0.0674799 |
| lia-lin/chc-LIA-Lin_333.smt2 | sat | 0.0431471 |
| lia-lin/chc-LIA-Lin_334.smt2 | unsat | 0.055838 |
| lia-lin/chc-LIA-Lin_335.smt2 | unsat | 0.0591909 |
| lia-lin/chc-LIA-Lin_336.smt2 | unsat | 0.092394 |
| lia-lin/chc-LIA-Lin_337.smt2 | unsat | 0.140245 |
| lia-lin/chc-LIA-Lin_338.smt2 | sat | 0.680436 |
| lia-lin/chc-LIA-Lin_340.smt2 | sat | 0.642565 |
| lia-lin/chc-LIA-Lin_341.smt2 | sat | 1.05089 |
| lia-lin/chc-LIA-Lin_343.smt2 | unsat | 2.28181 |
| lia-lin/chc-LIA-Lin_344.smt2 | sat | 0.563846 |
| lia-lin/chc-LIA-Lin_345.smt2 | unsat | 2.31677 |
| lia-lin/chc-LIA-Lin_346.smt2 | unsat | 0.10277 |
| lia-lin/chc-LIA-Lin_347.smt2 | unsat | 0.199716 |
| lia-lin/chc-LIA-Lin_348.smt2 | unsat | 0.099614 |
| lia-lin/chc-LIA-Lin_349.smt2 | unsat | 0.131273 |
| lia-lin/chc-LIA-Lin_350.smt2 | sat | 0.079982 |
| lia-lin/chc-LIA-Lin_352.smt2 | unsat | 0.795425 |
| lia-lin/chc-LIA-Lin_353.smt2 | unsat | 0.683157 |
| lia-lin/chc-LIA-Lin_355.smt2 | sat | 38.8844 |
| lia-lin/chc-LIA-Lin_356.smt2 | unknown | 300.04 |
| lia-lin/chc-LIA-Lin_357.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_358.smt2 | unknown | 300.016 |
| lia-lin/chc-LIA-Lin_360.smt2 | sat | 227.61 |
| lia-lin/chc-LIA-Lin_361.smt2 | unknown | 300.035 |
| lia-lin/chc-LIA-Lin_362.smt2 | unknown | 300.017 |
| lia-lin/chc-LIA-Lin_364.smt2 | sat | 33.33 |
| lia-lin/chc-LIA-Lin_366.smt2 | sat | 87.9681 |
| lia-lin/chc-LIA-Lin_369.smt2 | unknown | 300.1 |
| lia-lin/chc-LIA-Lin_370.smt2 | unknown | 300.111 |
| lia-lin/chc-LIA-Lin_371.smt2 | unsat | 33.6794 |
| lia-lin/chc-LIA-Lin_372.smt2 | unknown | 300.014 |
| lia-lin/chc-LIA-Lin_373.smt2 | unknown | 300.108 |
| lia-lin/chc-LIA-Lin_374.smt2 | sat | 88.3426 |
| lia-lin/chc-LIA-Lin_375.smt2 | unknown | 300.037 |
| lia-lin/chc-LIA-Lin_378.smt2 | sat | 22.1918 |
| lia-lin/chc-LIA-Lin_379.smt2 | sat | 1.411 |
| lia-lin/chc-LIA-Lin_381.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_382.smt2 | unknown | 300.018 |
| lia-lin/chc-LIA-Lin_385.smt2 | unknown | 300.096 |
| lia-lin/chc-LIA-Lin_386.smt2 | unknown | 300.039 |
| lia-lin/chc-LIA-Lin_388.smt2 | sat | 156.118 |
| lia-lin/chc-LIA-Lin_392.smt2 | sat | 150.756 |
| lia-lin/chc-LIA-Lin_393.smt2 | unknown | 300.106 |
| lia-lin/chc-LIA-Lin_395.smt2 | unsat | 3.05203 |
| lia-lin/chc-LIA-Lin_396.smt2 | unsat | 276.828 |
| lia-lin/chc-LIA-Lin_397.smt2 | unknown | 300.075 |
| lia-lin/chc-LIA-Lin_401.smt2 | unknown | 300.059 |
| lia-lin/chc-LIA-Lin_402.smt2 | unknown | 300.058 |
| lia-lin/chc-LIA-Lin_405.smt2 | unknown | 300.096 |
| lia-lin/chc-LIA-Lin_406.smt2 | unsat | 259.09 |
| lia-lin/chc-LIA-Lin_408.smt2 | unsat | 5.11031 |
| lia-lin/chc-LIA-Lin_409.smt2 | sat | 0.05007 |
| lia-lin/chc-LIA-Lin_410.smt2 | sat | 0.109388 |
| lia-lin/chc-LIA-Lin_411.smt2 | sat | 0.0623531 |
| lia-lin/chc-LIA-Lin_412.smt2 | sat | 0.114596 |
| lia-lin/chc-LIA-Lin_413.smt2 | sat | 0.0703969 |
| lia-lin/chc-LIA-Lin_414.smt2 | sat | 0.0497919 |
| lia-lin/chc-LIA-Lin_415.smt2 | sat | 0.0671339 |
| lia-lin/chc-LIA-Lin_416.smt2 | sat | 0.0526769 |
| lia-lin/chc-LIA-Lin_417.smt2 | sat | 0.0434209 |
| lia-lin/chc-LIA-Lin_418.smt2 | sat | 0.101874 |
| lia-lin/chc-LIA-Lin_419.smt2 | sat | 0.0461229 |
| lia-lin/chc-LIA-Lin_420.smt2 | sat | 0.140326 |
| lia-lin/chc-LIA-Lin_421.smt2 | sat | 0.050438 |
| lia-lin/chc-LIA-Lin_422.smt2 | sat | 0.440989 |
| lia-lin/chc-LIA-Lin_423.smt2 | sat | 0.0676649 |
| lia-lin/chc-LIA-Lin_424.smt2 | sat | 0.206766 |
| lia-lin/chc-LIA-Lin_425.smt2 | sat | 0.0586701 |
| lia-lin/chc-LIA-Lin_426.smt2 | sat | 0.134561 |
| lia-lin/chc-LIA-Lin_427.smt2 | sat | 0.563048 |
| lia-lin/chc-LIA-Lin_428.smt2 | sat | 1.08052 |
| lia-lin/chc-LIA-Lin_429.smt2 | sat | 4.99601 |
| lia-lin/chc-LIA-Lin_430.smt2 | sat | 5.24184 |
| lia-lin/chc-LIA-Lin_431.smt2 | sat | 14.9201 |
| lia-lin/chc-LIA-Lin_433.smt2 | unsat | 2.22349 |
| lia-lin/chc-LIA-Lin_434.smt2 | sat | 0.361438 |
| lia-lin/chc-LIA-Lin_435.smt2 | sat | 0.700656 |
| lia-lin/chc-LIA-Lin_436.smt2 | sat | 0.180225 |
| lia-lin/chc-LIA-Lin_437.smt2 | sat | 1.00252 |
| lia-lin/chc-LIA-Lin_438.smt2 | sat | 0.353489 |
| lia-lin/chc-LIA-Lin_439.smt2 | sat | 0.454204 |
| lia-lin/chc-LIA-Lin_440.smt2 | sat | 0.503565 |
| lia-lin/chc-LIA-Lin_441.smt2 | sat | 0.192013 |
| lia-lin/chc-LIA-Lin_443.smt2 | sat | 0.175028 |
| lia-lin/chc-LIA-Lin_444.smt2 | sat | 1.06024 |
| lia-lin/chc-LIA-Lin_445.smt2 | sat | 0.117983 |
| lia-lin/chc-LIA-Lin_446.smt2 | unknown | 300.093 |
| lia-lin/chc-LIA-Lin_447.smt2 | unknown | 300.02 |
| lia-lin/chc-LIA-Lin_448.smt2 | unsat | 15.6475 |
| lia-lin/chc-LIA-Lin_449.smt2 | unsat | 5.69133 |
| lia-lin/chc-LIA-Lin_450.smt2 | sat | 8.28352 |
| lia-lin/chc-LIA-Lin_451.smt2 | unknown | 300.016 |
| lia-lin/chc-LIA-Lin_452.smt2 | sat | 4.66674 |
| lia-lin/chc-LIA-Lin_453.smt2 | sat | 76.545 |
| lia-lin/chc-LIA-Lin_454.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_455.smt2 | sat | 30.6926 |
| lia-lin/chc-LIA-Lin_456.smt2 | unknown | 300.048 |
| lia-lin/chc-LIA-Lin_457.smt2 | unsat | 1.36091 |
| lia-lin/chc-LIA-Lin_458.smt2 | unsat | 170.112 |
| lia-lin/chc-LIA-Lin_459.smt2 | unsat | 11.0483 |
| lia-lin/chc-LIA-Lin_460.smt2 | unknown | 300.06 |
| lia-lin/chc-LIA-Lin_461.smt2 | sat | 169.084 |
| lia-lin/chc-LIA-Lin_462.smt2 | unknown | 300.04 |
| lia-lin/chc-LIA-Lin_463.smt2 | sat | 8.56262 |
| lia-lin/chc-LIA-Lin_465.smt2 | unknown | 300.025 |
| lia-lin/chc-LIA-Lin_466.smt2 | unknown | 300.106 |
| lia-lin/chc-LIA-Lin_467.smt2 | sat | 12.4205 |
| lia-lin/chc-LIA-Lin_468.smt2 | sat | 6.29441 |
| lia-lin/chc-LIA-Lin_469.smt2 | unknown | 300.017 |
| lia-lin/chc-LIA-Lin_470.smt2 | unknown | 300.026 |
| lia-lin/chc-LIA-Lin_471.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_472.smt2 | unknown | 300.076 |
| lia-lin/chc-LIA-Lin_473.smt2 | sat | 10.6576 |
| lia-lin/chc-LIA-Lin_474.smt2 | unsat | 3.37064 |
| lia-lin/chc-LIA-Lin_475.smt2 | unsat | 23.8777 |
| lia-lin/chc-LIA-Lin_476.smt2 | unknown | 300.032 |
| lia-lin/chc-LIA-Lin_477.smt2 | unsat | 24.8554 |
| lia-lin/chc-LIA-Lin_478.smt2 | unsat | 4.96364 |
| lia-lin/chc-LIA-Lin_479.smt2 | unknown | 300.016 |
| lia-lin/chc-LIA-Lin_480.smt2 | sat | 12.7745 |
| lia-lin/chc-LIA-Lin_481.smt2 | sat | 1.29053 |
| lia-lin/chc-LIA-Lin_482.smt2 | sat | 20.8376 |
| lia-lin/chc-LIA-Lin_483.smt2 | unknown | 300.029 |
| lia-lin/chc-LIA-Lin_484.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_485.smt2 | unknown | 300.114 |
| lia-lin/chc-LIA-Lin_486.smt2 | unsat | 3.06605 |
| lia-lin/chc-LIA-Lin_487.smt2 | sat | 0.69532 |
| lia-lin/chc-LIA-Lin_488.smt2 | sat | 54.9886 |
| lia-lin/chc-LIA-Lin_489.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_491.smt2 | unknown | 300.021 |
| lia-lin/chc-LIA-Lin_492.smt2 | sat | 4.40582 |
| lia-lin/chc-LIA-Lin_493.smt2 | unsat | 4.39238 |
| lia-lin/chc-LIA-Lin_494.smt2 | sat | 153.442 |
| lia-lin/chc-LIA-Lin_495.smt2 | sat | 2.78753 |
| lia-lin/chc-LIA-Lin_496.smt2 | sat | 0.691198 |
| lia-lin/chc-LIA-Lin_497.smt2 | sat | 4.87663 |
| lia-lin/chc-LIA-Lin_498.smt2 | unknown | 300.025 |