| name | result | time |
|---|
| lia-lin/chc-LIA-Lin_000.smt2 | unknown | 102.606 |
| lia-lin/chc-LIA-Lin_001.smt2 | unknown | 0.0698411 |
| lia-lin/chc-LIA-Lin_002.smt2 | unknown | 0.0999469 |
| lia-lin/chc-LIA-Lin_003.smt2 | unknown | 0.0666259 |
| lia-lin/chc-LIA-Lin_004.smt2 | unknown | 0.100956 |
| lia-lin/chc-LIA-Lin_005.smt2 | unknown | 0.108271 |
| lia-lin/chc-LIA-Lin_006.smt2 | unknown | 0.440781 |
| lia-lin/chc-LIA-Lin_008.smt2 | unknown | 300.021 |
| lia-lin/chc-LIA-Lin_009.smt2 | unknown | 0.396544 |
| lia-lin/chc-LIA-Lin_010.smt2 | unknown | 0.56746 |
| lia-lin/chc-LIA-Lin_012.smt2 | unknown | 300.045 |
| lia-lin/chc-LIA-Lin_013.smt2 | unknown | 300.044 |
| lia-lin/chc-LIA-Lin_014.smt2 | unknown | 0.955275 |
| lia-lin/chc-LIA-Lin_015.smt2 | unknown | 0.620036 |
| lia-lin/chc-LIA-Lin_016.smt2 | unknown | 2.33286 |
| lia-lin/chc-LIA-Lin_017.smt2 | unknown | 0.096308 |
| lia-lin/chc-LIA-Lin_018.smt2 | unknown | 0.099404 |
| lia-lin/chc-LIA-Lin_019.smt2 | unknown | 0.268434 |
| lia-lin/chc-LIA-Lin_020.smt2 | unknown | 0.57699 |
| lia-lin/chc-LIA-Lin_021.smt2 | unknown | 0.0973351 |
| lia-lin/chc-LIA-Lin_022.smt2 | unknown | 0.139129 |
| lia-lin/chc-LIA-Lin_023.smt2 | unknown | 0.646621 |
| lia-lin/chc-LIA-Lin_026.smt2 | unknown | 0.797587 |
| lia-lin/chc-LIA-Lin_027.smt2 | unknown | 7.19987 |
| lia-lin/chc-LIA-Lin_029.smt2 | unknown | 0.269484 |
| lia-lin/chc-LIA-Lin_032.smt2 | unsat | 0.202959 |
| lia-lin/chc-LIA-Lin_034.smt2 | unsat | 0.0426591 |
| lia-lin/chc-LIA-Lin_036.smt2 | unknown | 0.201389 |
| lia-lin/chc-LIA-Lin_037.smt2 | unsat | 0.0832181 |
| lia-lin/chc-LIA-Lin_038.smt2 | unsat | 0.224292 |
| lia-lin/chc-LIA-Lin_043.smt2 | unsat | 0.2286 |
| lia-lin/chc-LIA-Lin_044.smt2 | unsat | 0.103947 |
| lia-lin/chc-LIA-Lin_045.smt2 | unsat | 0.065232 |
| lia-lin/chc-LIA-Lin_047.smt2 | unsat | 0.08346 |
| lia-lin/chc-LIA-Lin_050.smt2 | unsat | 0.0788369 |
| lia-lin/chc-LIA-Lin_052.smt2 | unsat | 0.0739499 |
| lia-lin/chc-LIA-Lin_053.smt2 | unsat | 0.061105 |
| lia-lin/chc-LIA-Lin_057.smt2 | unsat | 0.098246 |
| lia-lin/chc-LIA-Lin_059.smt2 | unsat | 0.078515 |
| lia-lin/chc-LIA-Lin_060.smt2 | unsat | 0.0551471 |
| lia-lin/chc-LIA-Lin_061.smt2 | unsat | 0.0857091 |
| lia-lin/chc-LIA-Lin_062.smt2 | unsat | 0.044229 |
| lia-lin/chc-LIA-Lin_063.smt2 | unsat | 0.046198 |
| lia-lin/chc-LIA-Lin_064.smt2 | unsat | 0.040713 |
| lia-lin/chc-LIA-Lin_065.smt2 | unsat | 0.0928199 |
| lia-lin/chc-LIA-Lin_067.smt2 | unsat | 0.05869 |
| lia-lin/chc-LIA-Lin_068.smt2 | unknown | 300.11 |
| lia-lin/chc-LIA-Lin_069.smt2 | unsat | 0.0749929 |
| lia-lin/chc-LIA-Lin_071.smt2 | unsat | 0.0881959 |
| lia-lin/chc-LIA-Lin_072.smt2 | unsat | 0.0762949 |
| lia-lin/chc-LIA-Lin_073.smt2 | unknown | 300.028 |
| lia-lin/chc-LIA-Lin_074.smt2 | unknown | 60.4971 |
| lia-lin/chc-LIA-Lin_075.smt2 | unsat | 0.0752881 |
| lia-lin/chc-LIA-Lin_076.smt2 | unsat | 0.076115 |
| lia-lin/chc-LIA-Lin_078.smt2 | unknown | 0.251914 |
| lia-lin/chc-LIA-Lin_079.smt2 | unknown | 1.02463 |
| lia-lin/chc-LIA-Lin_080.smt2 | unknown | 300.1 |
| lia-lin/chc-LIA-Lin_081.smt2 | unknown | 0.0819859 |
| lia-lin/chc-LIA-Lin_082.smt2 | unknown | 0.396158 |
| lia-lin/chc-LIA-Lin_083.smt2 | unsat | 0.066523 |
| lia-lin/chc-LIA-Lin_084.smt2 | unsat | 0.0719869 |
| lia-lin/chc-LIA-Lin_085.smt2 | unknown | 0.166137 |
| lia-lin/chc-LIA-Lin_086.smt2 | unsat | 0.295139 |
| lia-lin/chc-LIA-Lin_087.smt2 | unknown | 300.028 |
| lia-lin/chc-LIA-Lin_088.smt2 | unknown | 300.057 |
| lia-lin/chc-LIA-Lin_089.smt2 | unsat | 0.111717 |
| lia-lin/chc-LIA-Lin_090.smt2 | unknown | 0.108633 |
| lia-lin/chc-LIA-Lin_091.smt2 | unknown | 0.138599 |
| lia-lin/chc-LIA-Lin_092.smt2 | unsat | 0.9032 |
| lia-lin/chc-LIA-Lin_093.smt2 | unknown | 3.26779 |
| lia-lin/chc-LIA-Lin_094.smt2 | unknown | 0.104501 |
| lia-lin/chc-LIA-Lin_095.smt2 | unknown | 1.04491 |
| lia-lin/chc-LIA-Lin_096.smt2 | unknown | 35.3673 |
| lia-lin/chc-LIA-Lin_097.smt2 | unknown | 0.335866 |
| lia-lin/chc-LIA-Lin_098.smt2 | unknown | 0.76126 |
| lia-lin/chc-LIA-Lin_099.smt2 | unknown | 1.23306 |
| lia-lin/chc-LIA-Lin_100.smt2 | unknown | 0.987761 |
| lia-lin/chc-LIA-Lin_101.smt2 | unknown | 0.270595 |
| lia-lin/chc-LIA-Lin_102.smt2 | unknown | 67.3092 |
| lia-lin/chc-LIA-Lin_103.smt2 | unknown | 0.346963 |
| lia-lin/chc-LIA-Lin_104.smt2 | unknown | 0.364222 |
| lia-lin/chc-LIA-Lin_105.smt2 | unknown | 1.2208 |
| lia-lin/chc-LIA-Lin_106.smt2 | unknown | 8.44555 |
| lia-lin/chc-LIA-Lin_107.smt2 | unknown | 0.511663 |
| lia-lin/chc-LIA-Lin_108.smt2 | unknown | 1.2242 |
| lia-lin/chc-LIA-Lin_109.smt2 | unknown | 0.227822 |
| lia-lin/chc-LIA-Lin_110.smt2 | unknown | 0.212461 |
| lia-lin/chc-LIA-Lin_111.smt2 | unsat | 0.081233 |
| lia-lin/chc-LIA-Lin_112.smt2 | unknown | 0.296333 |
| lia-lin/chc-LIA-Lin_113.smt2 | unknown | 300.021 |
| lia-lin/chc-LIA-Lin_114.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_115.smt2 | unknown | 0.0890791 |
| lia-lin/chc-LIA-Lin_116.smt2 | unsat | 0.044503 |
| lia-lin/chc-LIA-Lin_117.smt2 | unsat | 0.0402159 |
| lia-lin/chc-LIA-Lin_118.smt2 | unknown | 0.0677441 |
| lia-lin/chc-LIA-Lin_119.smt2 | unsat | 0.169762 |
| lia-lin/chc-LIA-Lin_120.smt2 | unknown | 0.0680001 |
| lia-lin/chc-LIA-Lin_121.smt2 | unknown | 0.0667871 |
| lia-lin/chc-LIA-Lin_122.smt2 | unknown | 300.026 |
| lia-lin/chc-LIA-Lin_123.smt2 | unsat | 0.438019 |
| lia-lin/chc-LIA-Lin_124.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_125.smt2 | unknown | 0.0682 |
| lia-lin/chc-LIA-Lin_126.smt2 | unknown | 0.11226 |
| lia-lin/chc-LIA-Lin_127.smt2 | unknown | 0.068412 |
| lia-lin/chc-LIA-Lin_128.smt2 | unknown | 0.156596 |
| lia-lin/chc-LIA-Lin_129.smt2 | unknown | 300.026 |
| lia-lin/chc-LIA-Lin_130.smt2 | unsat | 1.53837 |
| lia-lin/chc-LIA-Lin_131.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_132.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_133.smt2 | unsat | 2.84043 |
| lia-lin/chc-LIA-Lin_134.smt2 | unknown | 0.161642 |
| lia-lin/chc-LIA-Lin_135.smt2 | unknown | 91.1972 |
| lia-lin/chc-LIA-Lin_136.smt2 | unknown | 123.04 |
| lia-lin/chc-LIA-Lin_137.smt2 | unknown | 300.118 |
| lia-lin/chc-LIA-Lin_138.smt2 | unknown | 300.037 |
| lia-lin/chc-LIA-Lin_139.smt2 | unknown | 300.018 |
| lia-lin/chc-LIA-Lin_140.smt2 | unknown | 300.118 |
| lia-lin/chc-LIA-Lin_141.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_142.smt2 | unknown | 300.018 |
| lia-lin/chc-LIA-Lin_143.smt2 | unknown | 300.109 |
| lia-lin/chc-LIA-Lin_144.smt2 | unknown | 300.118 |
| lia-lin/chc-LIA-Lin_145.smt2 | unknown | 300.021 |
| lia-lin/chc-LIA-Lin_146.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_147.smt2 | unknown | 300.029 |
| lia-lin/chc-LIA-Lin_148.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_149.smt2 | unknown | 92.8922 |
| lia-lin/chc-LIA-Lin_150.smt2 | unknown | 0.0957981 |
| lia-lin/chc-LIA-Lin_151.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_152.smt2 | unknown | 300.119 |
| lia-lin/chc-LIA-Lin_153.smt2 | unknown | 300.119 |
| lia-lin/chc-LIA-Lin_154.smt2 | unsat | 0.0587139 |
| lia-lin/chc-LIA-Lin_155.smt2 | unknown | 117.189 |
| lia-lin/chc-LIA-Lin_156.smt2 | unknown | 300.017 |
| lia-lin/chc-LIA-Lin_157.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_158.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_159.smt2 | unknown | 300.109 |
| lia-lin/chc-LIA-Lin_160.smt2 | unknown | 300.033 |
| lia-lin/chc-LIA-Lin_161.smt2 | unknown | 300.11 |
| lia-lin/chc-LIA-Lin_162.smt2 | unknown | 86.5311 |
| lia-lin/chc-LIA-Lin_163.smt2 | unknown | 300.051 |
| lia-lin/chc-LIA-Lin_164.smt2 | unknown | 300.109 |
| lia-lin/chc-LIA-Lin_165.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_166.smt2 | unknown | 89.1021 |
| lia-lin/chc-LIA-Lin_167.smt2 | unknown | 91.5348 |
| lia-lin/chc-LIA-Lin_168.smt2 | unknown | 134.774 |
| lia-lin/chc-LIA-Lin_169.smt2 | unknown | 300.119 |
| lia-lin/chc-LIA-Lin_170.smt2 | unknown | 2.83038 |
| lia-lin/chc-LIA-Lin_171.smt2 | unknown | 2.51827 |
| lia-lin/chc-LIA-Lin_172.smt2 | unknown | 0.378673 |
| lia-lin/chc-LIA-Lin_173.smt2 | unknown | 3.68729 |
| lia-lin/chc-LIA-Lin_174.smt2 | unknown | 0.309322 |
| lia-lin/chc-LIA-Lin_175.smt2 | unsat | 0.0671301 |
| lia-lin/chc-LIA-Lin_176.smt2 | unknown | 0.502146 |
| lia-lin/chc-LIA-Lin_177.smt2 | unknown | 0.102865 |
| lia-lin/chc-LIA-Lin_178.smt2 | unknown | 0.509468 |
| lia-lin/chc-LIA-Lin_179.smt2 | unknown | 0.578082 |
| lia-lin/chc-LIA-Lin_180.smt2 | unknown | 300.119 |
| lia-lin/chc-LIA-Lin_181.smt2 | unknown | 3.20129 |
| lia-lin/chc-LIA-Lin_182.smt2 | unknown | 0.856338 |
| lia-lin/chc-LIA-Lin_183.smt2 | unknown | 0.15642 |
| lia-lin/chc-LIA-Lin_184.smt2 | unknown | 0.102704 |
| lia-lin/chc-LIA-Lin_185.smt2 | unsat | 0.0443481 |
| lia-lin/chc-LIA-Lin_186.smt2 | unknown | 0.587734 |
| lia-lin/chc-LIA-Lin_187.smt2 | unsat | 0.0478139 |
| lia-lin/chc-LIA-Lin_188.smt2 | unknown | 300.02 |
| lia-lin/chc-LIA-Lin_189.smt2 | unsat | 50.9991 |
| lia-lin/chc-LIA-Lin_190.smt2 | unknown | 300.029 |
| lia-lin/chc-LIA-Lin_191.smt2 | unknown | 300.039 |
| lia-lin/chc-LIA-Lin_192.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_193.smt2 | unknown | 300.027 |
| lia-lin/chc-LIA-Lin_194.smt2 | unknown | 300.027 |
| lia-lin/chc-LIA-Lin_195.smt2 | unknown | 300.021 |
| lia-lin/chc-LIA-Lin_196.smt2 | unknown | 300.02 |
| lia-lin/chc-LIA-Lin_197.smt2 | unsat | 0.382565 |
| lia-lin/chc-LIA-Lin_198.smt2 | unknown | 0.373047 |
| lia-lin/chc-LIA-Lin_199.smt2 | unknown | 18.6704 |
| lia-lin/chc-LIA-Lin_200.smt2 | unsat | 1.08195 |
| lia-lin/chc-LIA-Lin_201.smt2 | unknown | 300.107 |
| lia-lin/chc-LIA-Lin_202.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_203.smt2 | unknown | 300.055 |
| lia-lin/chc-LIA-Lin_204.smt2 | unknown | 300.021 |
| lia-lin/chc-LIA-Lin_205.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_206.smt2 | unknown | 8.06357 |
| lia-lin/chc-LIA-Lin_207.smt2 | unknown | 16.2237 |
| lia-lin/chc-LIA-Lin_208.smt2 | unknown | 5.04707 |
| lia-lin/chc-LIA-Lin_209.smt2 | unknown | 238.183 |
| lia-lin/chc-LIA-Lin_210.smt2 | unknown | 6.71618 |
| lia-lin/chc-LIA-Lin_211.smt2 | unknown | 300.087 |
| lia-lin/chc-LIA-Lin_212.smt2 | unknown | 300.029 |
| lia-lin/chc-LIA-Lin_213.smt2 | unknown | 300.02 |
| lia-lin/chc-LIA-Lin_214.smt2 | unknown | 178.884 |
| lia-lin/chc-LIA-Lin_215.smt2 | unknown | 4.16623 |
| lia-lin/chc-LIA-Lin_216.smt2 | unknown | 300.02 |
| lia-lin/chc-LIA-Lin_217.smt2 | unknown | 13.7045 |
| lia-lin/chc-LIA-Lin_218.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_219.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_220.smt2 | unknown | 300.029 |
| lia-lin/chc-LIA-Lin_221.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_222.smt2 | unknown | 300.029 |
| lia-lin/chc-LIA-Lin_223.smt2 | unknown | 300.118 |
| lia-lin/chc-LIA-Lin_224.smt2 | unknown | 300.017 |
| lia-lin/chc-LIA-Lin_225.smt2 | unknown | 300.029 |
| lia-lin/chc-LIA-Lin_226.smt2 | unknown | 14.6001 |
| lia-lin/chc-LIA-Lin_227.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_228.smt2 | unknown | 300.022 |
| lia-lin/chc-LIA-Lin_229.smt2 | unknown | 300.029 |
| lia-lin/chc-LIA-Lin_230.smt2 | unknown | 7.32961 |
| lia-lin/chc-LIA-Lin_231.smt2 | unknown | 48.1117 |
| lia-lin/chc-LIA-Lin_232.smt2 | unknown | 300.03 |
| lia-lin/chc-LIA-Lin_233.smt2 | unknown | 8.84504 |
| lia-lin/chc-LIA-Lin_234.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_235.smt2 | unknown | 300.12 |
| lia-lin/chc-LIA-Lin_236.smt2 | unknown | 300.026 |
| lia-lin/chc-LIA-Lin_237.smt2 | unknown | 0.511853 |
| lia-lin/chc-LIA-Lin_238.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_239.smt2 | unknown | 57.4508 |
| lia-lin/chc-LIA-Lin_240.smt2 | unknown | 3.79337 |
| lia-lin/chc-LIA-Lin_241.smt2 | unknown | 0.931746 |
| lia-lin/chc-LIA-Lin_242.smt2 | unknown | 300.12 |
| lia-lin/chc-LIA-Lin_243.smt2 | unknown | 2.60368 |
| lia-lin/chc-LIA-Lin_244.smt2 | unknown | 300.018 |
| lia-lin/chc-LIA-Lin_245.smt2 | unknown | 300.028 |
| lia-lin/chc-LIA-Lin_246.smt2 | unknown | 36.2918 |
| lia-lin/chc-LIA-Lin_247.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_248.smt2 | unknown | 300.032 |
| lia-lin/chc-LIA-Lin_249.smt2 | unknown | 300.029 |
| lia-lin/chc-LIA-Lin_250.smt2 | unknown | 300.109 |
| lia-lin/chc-LIA-Lin_251.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_252.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_253.smt2 | unknown | 300.092 |
| lia-lin/chc-LIA-Lin_254.smt2 | unknown | 300.037 |
| lia-lin/chc-LIA-Lin_255.smt2 | unknown | 300.091 |
| lia-lin/chc-LIA-Lin_256.smt2 | unknown | 300.033 |
| lia-lin/chc-LIA-Lin_257.smt2 | unknown | 5.15633 |
| lia-lin/chc-LIA-Lin_258.smt2 | unknown | 300.018 |
| lia-lin/chc-LIA-Lin_259.smt2 | unknown | 300.02 |
| lia-lin/chc-LIA-Lin_260.smt2 | unknown | 0.262808 |
| lia-lin/chc-LIA-Lin_261.smt2 | unknown | 0.309901 |
| lia-lin/chc-LIA-Lin_263.smt2 | unknown | 0.107392 |
| lia-lin/chc-LIA-Lin_265.smt2 | unknown | 0.183909 |
| lia-lin/chc-LIA-Lin_266.smt2 | unknown | 0.136151 |
| lia-lin/chc-LIA-Lin_267.smt2 | unknown | 0.106359 |
| lia-lin/chc-LIA-Lin_269.smt2 | unknown | 0.193867 |
| lia-lin/chc-LIA-Lin_270.smt2 | unknown | 0.80397 |
| lia-lin/chc-LIA-Lin_279.smt2 | unknown | 0.145756 |
| lia-lin/chc-LIA-Lin_280.smt2 | unknown | 0.841472 |
| lia-lin/chc-LIA-Lin_283.smt2 | unknown | 0.101882 |
| lia-lin/chc-LIA-Lin_289.smt2 | unknown | 0.265674 |
| lia-lin/chc-LIA-Lin_290.smt2 | unknown | 0.0943001 |
| lia-lin/chc-LIA-Lin_291.smt2 | unknown | 0.078897 |
| lia-lin/chc-LIA-Lin_292.smt2 | unknown | 0.123575 |
| lia-lin/chc-LIA-Lin_293.smt2 | unknown | 0.110502 |
| lia-lin/chc-LIA-Lin_294.smt2 | unknown | 0.262449 |
| lia-lin/chc-LIA-Lin_295.smt2 | unknown | 0.076344 |
| lia-lin/chc-LIA-Lin_296.smt2 | unknown | 2.67328 |
| lia-lin/chc-LIA-Lin_297.smt2 | unsat | 0.130952 |
| lia-lin/chc-LIA-Lin_298.smt2 | unknown | 0.339812 |
| lia-lin/chc-LIA-Lin_299.smt2 | unsat | 0.132987 |
| lia-lin/chc-LIA-Lin_300.smt2 | unknown | 0.2431 |
| lia-lin/chc-LIA-Lin_301.smt2 | unknown | 0.245237 |
| lia-lin/chc-LIA-Lin_303.smt2 | unknown | 0.406497 |
| lia-lin/chc-LIA-Lin_304.smt2 | unknown | 0.340047 |
| lia-lin/chc-LIA-Lin_305.smt2 | unknown | 0.399029 |
| lia-lin/chc-LIA-Lin_306.smt2 | unknown | 0.0519749 |
| lia-lin/chc-LIA-Lin_307.smt2 | unknown | 0.380096 |
| lia-lin/chc-LIA-Lin_308.smt2 | unknown | 0.165327 |
| lia-lin/chc-LIA-Lin_309.smt2 | unknown | 0.384491 |
| lia-lin/chc-LIA-Lin_310.smt2 | unknown | 0.0583151 |
| lia-lin/chc-LIA-Lin_311.smt2 | unknown | 0.0385329 |
| lia-lin/chc-LIA-Lin_312.smt2 | unknown | 2.1469 |
| lia-lin/chc-LIA-Lin_313.smt2 | unsat | 0.067278 |
| lia-lin/chc-LIA-Lin_314.smt2 | unknown | 0.118575 |
| lia-lin/chc-LIA-Lin_315.smt2 | unknown | 0.127577 |
| lia-lin/chc-LIA-Lin_316.smt2 | unsat | 0.209974 |
| lia-lin/chc-LIA-Lin_317.smt2 | unknown | 0.169717 |
| lia-lin/chc-LIA-Lin_318.smt2 | unknown | 0.553844 |
| lia-lin/chc-LIA-Lin_319.smt2 | unsat | 0.059793 |
| lia-lin/chc-LIA-Lin_320.smt2 | unknown | 0.172591 |
| lia-lin/chc-LIA-Lin_321.smt2 | unsat | 0.0681651 |
| lia-lin/chc-LIA-Lin_322.smt2 | unsat | 0.0645001 |
| lia-lin/chc-LIA-Lin_323.smt2 | unknown | 0.126526 |
| lia-lin/chc-LIA-Lin_324.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_325.smt2 | unknown | 0.105588 |
| lia-lin/chc-LIA-Lin_326.smt2 | unsat | 0.106734 |
| lia-lin/chc-LIA-Lin_327.smt2 | unsat | 0.0972201 |
| lia-lin/chc-LIA-Lin_328.smt2 | unsat | 0.072257 |
| lia-lin/chc-LIA-Lin_329.smt2 | unsat | 0.064485 |
| lia-lin/chc-LIA-Lin_330.smt2 | unsat | 0.0706579 |
| lia-lin/chc-LIA-Lin_331.smt2 | unsat | 0.0607321 |
| lia-lin/chc-LIA-Lin_332.smt2 | unsat | 0.129575 |
| lia-lin/chc-LIA-Lin_333.smt2 | unknown | 0.134298 |
| lia-lin/chc-LIA-Lin_334.smt2 | unsat | 0.110109 |
| lia-lin/chc-LIA-Lin_335.smt2 | unsat | 0.0845271 |
| lia-lin/chc-LIA-Lin_336.smt2 | unsat | 0.0805219 |
| lia-lin/chc-LIA-Lin_337.smt2 | unsat | 2.12332 |
| lia-lin/chc-LIA-Lin_338.smt2 | unknown | 300.075 |
| lia-lin/chc-LIA-Lin_340.smt2 | unknown | 300.109 |
| lia-lin/chc-LIA-Lin_341.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_343.smt2 | unknown | 96.5775 |
| lia-lin/chc-LIA-Lin_344.smt2 | unknown | 300.119 |
| lia-lin/chc-LIA-Lin_345.smt2 | unsat | 7.30562 |
| lia-lin/chc-LIA-Lin_346.smt2 | unsat | 1.10052 |
| lia-lin/chc-LIA-Lin_347.smt2 | unsat | 4.08844 |
| lia-lin/chc-LIA-Lin_348.smt2 | unsat | 0.901617 |
| lia-lin/chc-LIA-Lin_349.smt2 | unsat | 1.38184 |
| lia-lin/chc-LIA-Lin_350.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_352.smt2 | unsat | 36.8141 |
| lia-lin/chc-LIA-Lin_353.smt2 | unsat | 53.8481 |
| lia-lin/chc-LIA-Lin_355.smt2 | unknown | 4.77887 |
| lia-lin/chc-LIA-Lin_356.smt2 | unknown | 300.02 |
| lia-lin/chc-LIA-Lin_357.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_358.smt2 | unsat | 0.238779 |
| lia-lin/chc-LIA-Lin_360.smt2 | unknown | 300.025 |
| lia-lin/chc-LIA-Lin_361.smt2 | unknown | 300.033 |
| lia-lin/chc-LIA-Lin_362.smt2 | unsat | 0.257866 |
| lia-lin/chc-LIA-Lin_364.smt2 | unknown | 300.03 |
| lia-lin/chc-LIA-Lin_366.smt2 | unknown | 300.106 |
| lia-lin/chc-LIA-Lin_369.smt2 | unknown | 300.025 |
| lia-lin/chc-LIA-Lin_370.smt2 | unknown | 300.032 |
| lia-lin/chc-LIA-Lin_371.smt2 | unsat | 23.4197 |
| lia-lin/chc-LIA-Lin_372.smt2 | unknown | 300.027 |
| lia-lin/chc-LIA-Lin_373.smt2 | unknown | 300.044 |
| lia-lin/chc-LIA-Lin_374.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_375.smt2 | unknown | 300.022 |
| lia-lin/chc-LIA-Lin_378.smt2 | unknown | 300.107 |
| lia-lin/chc-LIA-Lin_379.smt2 | unknown | 300.032 |
| lia-lin/chc-LIA-Lin_381.smt2 | unsat | 0.107346 |
| lia-lin/chc-LIA-Lin_382.smt2 | unknown | 300.025 |
| lia-lin/chc-LIA-Lin_385.smt2 | unknown | 300.075 |
| lia-lin/chc-LIA-Lin_386.smt2 | unsat | 0.316419 |
| lia-lin/chc-LIA-Lin_388.smt2 | unknown | 300.02 |
| lia-lin/chc-LIA-Lin_392.smt2 | unknown | 300.022 |
| lia-lin/chc-LIA-Lin_393.smt2 | unknown | 300.022 |
| lia-lin/chc-LIA-Lin_395.smt2 | unknown | 300.028 |
| lia-lin/chc-LIA-Lin_396.smt2 | unknown | 300.032 |
| lia-lin/chc-LIA-Lin_397.smt2 | unknown | 300.021 |
| lia-lin/chc-LIA-Lin_401.smt2 | unsat | 0.156446 |
| lia-lin/chc-LIA-Lin_402.smt2 | unsat | 0.0813749 |
| lia-lin/chc-LIA-Lin_405.smt2 | unsat | 0.827281 |
| lia-lin/chc-LIA-Lin_406.smt2 | unknown | 300.069 |
| lia-lin/chc-LIA-Lin_408.smt2 | unsat | 89.0328 |
| lia-lin/chc-LIA-Lin_409.smt2 | unknown | 0.0514301 |
| lia-lin/chc-LIA-Lin_410.smt2 | unknown | 0.17146 |
| lia-lin/chc-LIA-Lin_411.smt2 | unknown | 0.0779411 |
| lia-lin/chc-LIA-Lin_412.smt2 | unknown | 0.236467 |
| lia-lin/chc-LIA-Lin_413.smt2 | unknown | 0.110649 |
| lia-lin/chc-LIA-Lin_414.smt2 | unknown | 0.0459331 |
| lia-lin/chc-LIA-Lin_415.smt2 | unknown | 0.101334 |
| lia-lin/chc-LIA-Lin_416.smt2 | unknown | 0.063012 |
| lia-lin/chc-LIA-Lin_417.smt2 | unknown | 0.0400501 |
| lia-lin/chc-LIA-Lin_418.smt2 | unknown | 0.213358 |
| lia-lin/chc-LIA-Lin_419.smt2 | unknown | 0.0553871 |
| lia-lin/chc-LIA-Lin_420.smt2 | unknown | 0.222384 |
| lia-lin/chc-LIA-Lin_421.smt2 | unknown | 0.0565529 |
| lia-lin/chc-LIA-Lin_422.smt2 | unknown | 0.328129 |
| lia-lin/chc-LIA-Lin_423.smt2 | unknown | 0.241399 |
| lia-lin/chc-LIA-Lin_424.smt2 | unknown | 0.26996 |
| lia-lin/chc-LIA-Lin_425.smt2 | unknown | 0.0772339 |
| lia-lin/chc-LIA-Lin_426.smt2 | unknown | 0.129608 |
| lia-lin/chc-LIA-Lin_427.smt2 | unknown | 0.657084 |
| lia-lin/chc-LIA-Lin_428.smt2 | unknown | 1.29075 |
| lia-lin/chc-LIA-Lin_429.smt2 | unknown | 1.28016 |
| lia-lin/chc-LIA-Lin_430.smt2 | unknown | 1.44999 |
| lia-lin/chc-LIA-Lin_431.smt2 | unknown | 2.57893 |
| lia-lin/chc-LIA-Lin_433.smt2 | unknown | 300.029 |
| lia-lin/chc-LIA-Lin_434.smt2 | unknown | 0.664141 |
| lia-lin/chc-LIA-Lin_435.smt2 | unknown | 1.29364 |
| lia-lin/chc-LIA-Lin_436.smt2 | unknown | 0.719837 |
| lia-lin/chc-LIA-Lin_437.smt2 | unknown | 1.048 |
| lia-lin/chc-LIA-Lin_438.smt2 | unknown | 0.396373 |
| lia-lin/chc-LIA-Lin_439.smt2 | unknown | 0.549113 |
| lia-lin/chc-LIA-Lin_440.smt2 | unknown | 0.489787 |
| lia-lin/chc-LIA-Lin_441.smt2 | unknown | 0.366395 |
| lia-lin/chc-LIA-Lin_443.smt2 | unknown | 0.400756 |
| lia-lin/chc-LIA-Lin_444.smt2 | unknown | 0.581952 |
| lia-lin/chc-LIA-Lin_445.smt2 | unknown | 0.214625 |
| lia-lin/chc-LIA-Lin_446.smt2 | unknown | 232.927 |
| lia-lin/chc-LIA-Lin_447.smt2 | unknown | 300.119 |
| lia-lin/chc-LIA-Lin_448.smt2 | unknown | 233.885 |
| lia-lin/chc-LIA-Lin_449.smt2 | unknown | 300.028 |
| lia-lin/chc-LIA-Lin_450.smt2 | unknown | 300.028 |
| lia-lin/chc-LIA-Lin_451.smt2 | unknown | 300.028 |
| lia-lin/chc-LIA-Lin_452.smt2 | unknown | 300.118 |
| lia-lin/chc-LIA-Lin_453.smt2 | unknown | 300.119 |
| lia-lin/chc-LIA-Lin_454.smt2 | unknown | 300.109 |
| lia-lin/chc-LIA-Lin_455.smt2 | unknown | 300.039 |
| lia-lin/chc-LIA-Lin_456.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_457.smt2 | unknown | 300.02 |
| lia-lin/chc-LIA-Lin_458.smt2 | unknown | 300.022 |
| lia-lin/chc-LIA-Lin_459.smt2 | unknown | 300.025 |
| lia-lin/chc-LIA-Lin_460.smt2 | unknown | 254.427 |
| lia-lin/chc-LIA-Lin_461.smt2 | unknown | 0.490784 |
| lia-lin/chc-LIA-Lin_462.smt2 | unknown | 300.11 |
| lia-lin/chc-LIA-Lin_463.smt2 | unknown | 300.02 |
| lia-lin/chc-LIA-Lin_465.smt2 | unknown | 300.02 |
| lia-lin/chc-LIA-Lin_466.smt2 | unknown | 300.114 |
| lia-lin/chc-LIA-Lin_467.smt2 | unknown | 300.026 |
| lia-lin/chc-LIA-Lin_468.smt2 | unknown | 300.02 |
| lia-lin/chc-LIA-Lin_469.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_470.smt2 | unknown | 300.119 |
| lia-lin/chc-LIA-Lin_471.smt2 | unknown | 300.109 |
| lia-lin/chc-LIA-Lin_472.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_473.smt2 | unknown | 300.119 |
| lia-lin/chc-LIA-Lin_474.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_475.smt2 | unknown | 1.51661 |
| lia-lin/chc-LIA-Lin_476.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_477.smt2 | unknown | 300.109 |
| lia-lin/chc-LIA-Lin_478.smt2 | unknown | 300.11 |
| lia-lin/chc-LIA-Lin_479.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_480.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_481.smt2 | unknown | 300.095 |
| lia-lin/chc-LIA-Lin_482.smt2 | unknown | 300.018 |
| lia-lin/chc-LIA-Lin_483.smt2 | unknown | 300.028 |
| lia-lin/chc-LIA-Lin_484.smt2 | unknown | 255.544 |
| lia-lin/chc-LIA-Lin_485.smt2 | unknown | 233.065 |
| lia-lin/chc-LIA-Lin_486.smt2 | unknown | 300.02 |
| lia-lin/chc-LIA-Lin_487.smt2 | unknown | 300.02 |
| lia-lin/chc-LIA-Lin_488.smt2 | unknown | 300.028 |
| lia-lin/chc-LIA-Lin_489.smt2 | unknown | 300.029 |
| lia-lin/chc-LIA-Lin_491.smt2 | unknown | 300.121 |
| lia-lin/chc-LIA-Lin_492.smt2 | unknown | 300.022 |
| lia-lin/chc-LIA-Lin_493.smt2 | unknown | 300.033 |
| lia-lin/chc-LIA-Lin_494.smt2 | unknown | 300.028 |
| lia-lin/chc-LIA-Lin_495.smt2 | unknown | 300.022 |
| lia-lin/chc-LIA-Lin_496.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_497.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_498.smt2 | unknown | 300.119 |