| name | result | time |
|---|
| lia-lin/chc-LIA-Lin_000.smt2 | sat | 2.75792 |
| lia-lin/chc-LIA-Lin_001.smt2 | sat | 3.18095 |
| lia-lin/chc-LIA-Lin_002.smt2 | sat | 2.95998 |
| lia-lin/chc-LIA-Lin_003.smt2 | sat | 2.42402 |
| lia-lin/chc-LIA-Lin_004.smt2 | sat | 2.90924 |
| lia-lin/chc-LIA-Lin_005.smt2 | sat | 2.82774 |
| lia-lin/chc-LIA-Lin_006.smt2 | unknown | 300.029 |
| lia-lin/chc-LIA-Lin_008.smt2 | unknown | 300.088 |
| lia-lin/chc-LIA-Lin_009.smt2 | sat | 15.5718 |
| lia-lin/chc-LIA-Lin_010.smt2 | unknown | 300.021 |
| lia-lin/chc-LIA-Lin_012.smt2 | sat | 2.61404 |
| lia-lin/chc-LIA-Lin_013.smt2 | sat | 2.6265 |
| lia-lin/chc-LIA-Lin_014.smt2 | sat | 2.6789 |
| lia-lin/chc-LIA-Lin_015.smt2 | unknown | 300.021 |
| lia-lin/chc-LIA-Lin_016.smt2 | sat | 24.815 |
| lia-lin/chc-LIA-Lin_017.smt2 | sat | 2.87079 |
| lia-lin/chc-LIA-Lin_018.smt2 | sat | 3.80932 |
| lia-lin/chc-LIA-Lin_019.smt2 | sat | 99.9381 |
| lia-lin/chc-LIA-Lin_020.smt2 | unknown | 300.032 |
| lia-lin/chc-LIA-Lin_021.smt2 | sat | 112.185 |
| lia-lin/chc-LIA-Lin_022.smt2 | unknown | 300.112 |
| lia-lin/chc-LIA-Lin_023.smt2 | sat | 6.53312 |
| lia-lin/chc-LIA-Lin_026.smt2 | sat | 37.6599 |
| lia-lin/chc-LIA-Lin_027.smt2 | sat | 9.24854 |
| lia-lin/chc-LIA-Lin_029.smt2 | sat | 98.4986 |
| lia-lin/chc-LIA-Lin_032.smt2 | unsat | 2.49279 |
| lia-lin/chc-LIA-Lin_034.smt2 | unsat | 2.28108 |
| lia-lin/chc-LIA-Lin_036.smt2 | unsat | 12.5077 |
| lia-lin/chc-LIA-Lin_037.smt2 | unsat | 24.1256 |
| lia-lin/chc-LIA-Lin_038.smt2 | unsat | 46.7751 |
| lia-lin/chc-LIA-Lin_043.smt2 | unknown | 300.057 |
| lia-lin/chc-LIA-Lin_044.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_045.smt2 | unknown | 300.121 |
| lia-lin/chc-LIA-Lin_047.smt2 | unknown | 300.109 |
| lia-lin/chc-LIA-Lin_050.smt2 | unsat | 3.2447 |
| lia-lin/chc-LIA-Lin_052.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_053.smt2 | unknown | 300.039 |
| lia-lin/chc-LIA-Lin_057.smt2 | unknown | 300.025 |
| lia-lin/chc-LIA-Lin_059.smt2 | unknown | 300.028 |
| lia-lin/chc-LIA-Lin_060.smt2 | unsat | 2.27754 |
| lia-lin/chc-LIA-Lin_061.smt2 | unsat | 2.93171 |
| lia-lin/chc-LIA-Lin_062.smt2 | unknown | 1.39399 |
| lia-lin/chc-LIA-Lin_063.smt2 | unsat | 2.26642 |
| lia-lin/chc-LIA-Lin_064.smt2 | unknown | 1.3918 |
| lia-lin/chc-LIA-Lin_065.smt2 | unsat | 3.05578 |
| lia-lin/chc-LIA-Lin_067.smt2 | unsat | 2.3569 |
| lia-lin/chc-LIA-Lin_068.smt2 | sat | 3.0946 |
| lia-lin/chc-LIA-Lin_069.smt2 | unsat | 213.433 |
| lia-lin/chc-LIA-Lin_071.smt2 | unsat | 8.9558 |
| lia-lin/chc-LIA-Lin_072.smt2 | unsat | 29.2735 |
| lia-lin/chc-LIA-Lin_073.smt2 | unknown | 300.133 |
| lia-lin/chc-LIA-Lin_074.smt2 | unknown | 2.79918 |
| lia-lin/chc-LIA-Lin_075.smt2 | unknown | 300.022 |
| lia-lin/chc-LIA-Lin_076.smt2 | unknown | 300.046 |
| lia-lin/chc-LIA-Lin_078.smt2 | unknown | 300.047 |
| lia-lin/chc-LIA-Lin_079.smt2 | sat | 3.12508 |
| lia-lin/chc-LIA-Lin_080.smt2 | sat | 3.26911 |
| lia-lin/chc-LIA-Lin_081.smt2 | sat | 2.97808 |
| lia-lin/chc-LIA-Lin_082.smt2 | sat | 4.22946 |
| lia-lin/chc-LIA-Lin_083.smt2 | unsat | 2.74167 |
| lia-lin/chc-LIA-Lin_084.smt2 | unsat | 3.12279 |
| lia-lin/chc-LIA-Lin_085.smt2 | sat | 3.02353 |
| lia-lin/chc-LIA-Lin_086.smt2 | unsat | 3.08656 |
| lia-lin/chc-LIA-Lin_087.smt2 | sat | 3.97794 |
| lia-lin/chc-LIA-Lin_088.smt2 | sat | 4.40818 |
| lia-lin/chc-LIA-Lin_089.smt2 | unsat | 17.8242 |
| lia-lin/chc-LIA-Lin_090.smt2 | unknown | 300.026 |
| lia-lin/chc-LIA-Lin_091.smt2 | sat | 3.35531 |
| lia-lin/chc-LIA-Lin_092.smt2 | unsat | 18.8181 |
| lia-lin/chc-LIA-Lin_093.smt2 | sat | 4.28145 |
| lia-lin/chc-LIA-Lin_094.smt2 | sat | 3.09944 |
| lia-lin/chc-LIA-Lin_095.smt2 | sat | 4.18475 |
| lia-lin/chc-LIA-Lin_096.smt2 | unsat | 20.9017 |
| lia-lin/chc-LIA-Lin_097.smt2 | sat | 3.14707 |
| lia-lin/chc-LIA-Lin_098.smt2 | sat | 3.97285 |
| lia-lin/chc-LIA-Lin_099.smt2 | unknown | 300.044 |
| lia-lin/chc-LIA-Lin_100.smt2 | unknown | 300.126 |
| lia-lin/chc-LIA-Lin_101.smt2 | sat | 4.64777 |
| lia-lin/chc-LIA-Lin_102.smt2 | unknown | 300.054 |
| lia-lin/chc-LIA-Lin_103.smt2 | unknown | 241.922 |
| lia-lin/chc-LIA-Lin_104.smt2 | unknown | 300.119 |
| lia-lin/chc-LIA-Lin_105.smt2 | unknown | 300.027 |
| lia-lin/chc-LIA-Lin_106.smt2 | unknown | 300.036 |
| lia-lin/chc-LIA-Lin_107.smt2 | sat | 12.0495 |
| lia-lin/chc-LIA-Lin_108.smt2 | unknown | 300.029 |
| lia-lin/chc-LIA-Lin_109.smt2 | sat | 4.16552 |
| lia-lin/chc-LIA-Lin_110.smt2 | sat | 2.7711 |
| lia-lin/chc-LIA-Lin_111.smt2 | unsat | 5.77195 |
| lia-lin/chc-LIA-Lin_112.smt2 | sat | 3.20297 |
| lia-lin/chc-LIA-Lin_113.smt2 | sat | 3.77326 |
| lia-lin/chc-LIA-Lin_114.smt2 | sat | 3.57763 |
| lia-lin/chc-LIA-Lin_115.smt2 | sat | 2.27711 |
| lia-lin/chc-LIA-Lin_116.smt2 | unsat | 2.35666 |
| lia-lin/chc-LIA-Lin_117.smt2 | unknown | 300.074 |
| lia-lin/chc-LIA-Lin_118.smt2 | sat | 2.63516 |
| lia-lin/chc-LIA-Lin_119.smt2 | unsat | 5.01374 |
| lia-lin/chc-LIA-Lin_120.smt2 | sat | 1.57038 |
| lia-lin/chc-LIA-Lin_121.smt2 | unknown | 300.093 |
| lia-lin/chc-LIA-Lin_122.smt2 | sat | 12.0602 |
| lia-lin/chc-LIA-Lin_123.smt2 | unsat | 29.6692 |
| lia-lin/chc-LIA-Lin_124.smt2 | unknown | 300.045 |
| lia-lin/chc-LIA-Lin_125.smt2 | unknown | 300.068 |
| lia-lin/chc-LIA-Lin_126.smt2 | unknown | 1.87478 |
| lia-lin/chc-LIA-Lin_127.smt2 | unknown | 300.078 |
| lia-lin/chc-LIA-Lin_128.smt2 | sat | 5.67092 |
| lia-lin/chc-LIA-Lin_129.smt2 | sat | 81.7628 |
| lia-lin/chc-LIA-Lin_130.smt2 | unsat | 12.4804 |
| lia-lin/chc-LIA-Lin_131.smt2 | sat | 250.55 |
| lia-lin/chc-LIA-Lin_132.smt2 | sat | 38.5008 |
| lia-lin/chc-LIA-Lin_133.smt2 | unsat | 13.3652 |
| lia-lin/chc-LIA-Lin_134.smt2 | sat | 3.30546 |
| lia-lin/chc-LIA-Lin_135.smt2 | unknown | 300.045 |
| lia-lin/chc-LIA-Lin_136.smt2 | sat | 65.505 |
| lia-lin/chc-LIA-Lin_137.smt2 | unknown | 300.022 |
| lia-lin/chc-LIA-Lin_138.smt2 | unknown | 300.04 |
| lia-lin/chc-LIA-Lin_139.smt2 | unknown | 300.141 |
| lia-lin/chc-LIA-Lin_140.smt2 | unknown | 300.116 |
| lia-lin/chc-LIA-Lin_141.smt2 | unknown | 300.021 |
| lia-lin/chc-LIA-Lin_142.smt2 | unknown | 300.112 |
| lia-lin/chc-LIA-Lin_143.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_144.smt2 | unknown | 300.04 |
| lia-lin/chc-LIA-Lin_145.smt2 | unknown | 300.03 |
| lia-lin/chc-LIA-Lin_146.smt2 | unknown | 300.021 |
| lia-lin/chc-LIA-Lin_147.smt2 | sat | 76.0301 |
| lia-lin/chc-LIA-Lin_148.smt2 | unknown | 300.107 |
| lia-lin/chc-LIA-Lin_149.smt2 | unknown | 300.123 |
| lia-lin/chc-LIA-Lin_150.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_151.smt2 | unknown | 300.103 |
| lia-lin/chc-LIA-Lin_152.smt2 | unknown | 300.023 |
| lia-lin/chc-LIA-Lin_153.smt2 | unknown | 300.068 |
| lia-lin/chc-LIA-Lin_154.smt2 | unknown | 300.054 |
| lia-lin/chc-LIA-Lin_155.smt2 | unknown | 300.116 |
| lia-lin/chc-LIA-Lin_156.smt2 | sat | 58.8927 |
| lia-lin/chc-LIA-Lin_157.smt2 | unknown | 300.058 |
| lia-lin/chc-LIA-Lin_158.smt2 | unknown | 300.021 |
| lia-lin/chc-LIA-Lin_159.smt2 | unknown | 300.102 |
| lia-lin/chc-LIA-Lin_160.smt2 | unknown | 300.026 |
| lia-lin/chc-LIA-Lin_161.smt2 | unknown | 300.026 |
| lia-lin/chc-LIA-Lin_162.smt2 | sat | 43.2127 |
| lia-lin/chc-LIA-Lin_163.smt2 | unknown | 300.116 |
| lia-lin/chc-LIA-Lin_164.smt2 | unknown | 300.098 |
| lia-lin/chc-LIA-Lin_165.smt2 | unknown | 300.043 |
| lia-lin/chc-LIA-Lin_166.smt2 | unknown | 300.02 |
| lia-lin/chc-LIA-Lin_167.smt2 | unknown | 300.091 |
| lia-lin/chc-LIA-Lin_168.smt2 | unknown | 300.021 |
| lia-lin/chc-LIA-Lin_169.smt2 | unknown | 300.03 |
| lia-lin/chc-LIA-Lin_170.smt2 | unsat | 3.91269 |
| lia-lin/chc-LIA-Lin_171.smt2 | sat | 3.41871 |
| lia-lin/chc-LIA-Lin_172.smt2 | unsat | 5.67505 |
| lia-lin/chc-LIA-Lin_173.smt2 | sat | 7.35805 |
| lia-lin/chc-LIA-Lin_174.smt2 | unknown | 2.54127 |
| lia-lin/chc-LIA-Lin_175.smt2 | unsat | 36.9404 |
| lia-lin/chc-LIA-Lin_176.smt2 | unknown | 2.18784 |
| lia-lin/chc-LIA-Lin_177.smt2 | sat | 2.84845 |
| lia-lin/chc-LIA-Lin_178.smt2 | sat | 5.27729 |
| lia-lin/chc-LIA-Lin_179.smt2 | sat | 6.14433 |
| lia-lin/chc-LIA-Lin_180.smt2 | sat | 3.05625 |
| lia-lin/chc-LIA-Lin_181.smt2 | sat | 4.03989 |
| lia-lin/chc-LIA-Lin_182.smt2 | unsat | 4.57525 |
| lia-lin/chc-LIA-Lin_183.smt2 | unknown | 1.9119 |
| lia-lin/chc-LIA-Lin_184.smt2 | sat | 2.83543 |
| lia-lin/chc-LIA-Lin_185.smt2 | unknown | 1.74921 |
| lia-lin/chc-LIA-Lin_186.smt2 | unknown | 2.39209 |
| lia-lin/chc-LIA-Lin_187.smt2 | unknown | 1.85047 |
| lia-lin/chc-LIA-Lin_188.smt2 | unknown | 5.95505 |
| lia-lin/chc-LIA-Lin_189.smt2 | unknown | 57.7493 |
| lia-lin/chc-LIA-Lin_190.smt2 | unknown | 11.1274 |
| lia-lin/chc-LIA-Lin_191.smt2 | unknown | 14.0222 |
| lia-lin/chc-LIA-Lin_192.smt2 | unknown | 12.0392 |
| lia-lin/chc-LIA-Lin_193.smt2 | sat | 296.003 |
| lia-lin/chc-LIA-Lin_194.smt2 | unknown | 6.04998 |
| lia-lin/chc-LIA-Lin_195.smt2 | unknown | 8.80915 |
| lia-lin/chc-LIA-Lin_196.smt2 | unknown | 9.10125 |
| lia-lin/chc-LIA-Lin_197.smt2 | unknown | 10.7258 |
| lia-lin/chc-LIA-Lin_198.smt2 | sat | 5.12182 |
| lia-lin/chc-LIA-Lin_199.smt2 | unknown | 300.021 |
| lia-lin/chc-LIA-Lin_200.smt2 | unknown | 62.0537 |
| lia-lin/chc-LIA-Lin_201.smt2 | unknown | 14.2528 |
| lia-lin/chc-LIA-Lin_202.smt2 | unknown | 61.6796 |
| lia-lin/chc-LIA-Lin_203.smt2 | unknown | 15.9489 |
| lia-lin/chc-LIA-Lin_204.smt2 | unknown | 12.3991 |
| lia-lin/chc-LIA-Lin_205.smt2 | unknown | 5.82269 |
| lia-lin/chc-LIA-Lin_206.smt2 | sat | 40.0424 |
| lia-lin/chc-LIA-Lin_207.smt2 | unknown | 300.041 |
| lia-lin/chc-LIA-Lin_208.smt2 | unknown | 300.123 |
| lia-lin/chc-LIA-Lin_209.smt2 | unknown | 300.126 |
| lia-lin/chc-LIA-Lin_210.smt2 | unknown | 300.044 |
| lia-lin/chc-LIA-Lin_211.smt2 | unknown | 300.035 |
| lia-lin/chc-LIA-Lin_212.smt2 | unknown | 18.1908 |
| lia-lin/chc-LIA-Lin_213.smt2 | unknown | 14.8922 |
| lia-lin/chc-LIA-Lin_214.smt2 | sat | 10.3272 |
| lia-lin/chc-LIA-Lin_215.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_216.smt2 | unknown | 300.022 |
| lia-lin/chc-LIA-Lin_217.smt2 | sat | 21.6779 |
| lia-lin/chc-LIA-Lin_218.smt2 | sat | 20.2537 |
| lia-lin/chc-LIA-Lin_219.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_220.smt2 | sat | 37.6218 |
| lia-lin/chc-LIA-Lin_221.smt2 | unknown | 13.6072 |
| lia-lin/chc-LIA-Lin_222.smt2 | unknown | 9.6267 |
| lia-lin/chc-LIA-Lin_223.smt2 | unknown | 5.70069 |
| lia-lin/chc-LIA-Lin_224.smt2 | sat | 34.6118 |
| lia-lin/chc-LIA-Lin_225.smt2 | unknown | 300.034 |
| lia-lin/chc-LIA-Lin_226.smt2 | unknown | 300.021 |
| lia-lin/chc-LIA-Lin_227.smt2 | unknown | 14.6986 |
| lia-lin/chc-LIA-Lin_228.smt2 | unknown | 13.0563 |
| lia-lin/chc-LIA-Lin_229.smt2 | unknown | 15.884 |
| lia-lin/chc-LIA-Lin_230.smt2 | unknown | 5.82069 |
| lia-lin/chc-LIA-Lin_231.smt2 | sat | 14.1223 |
| lia-lin/chc-LIA-Lin_232.smt2 | unknown | 13.5849 |
| lia-lin/chc-LIA-Lin_233.smt2 | unknown | 300.085 |
| lia-lin/chc-LIA-Lin_234.smt2 | unknown | 5.74597 |
| lia-lin/chc-LIA-Lin_235.smt2 | sat | 35.479 |
| lia-lin/chc-LIA-Lin_236.smt2 | unknown | 300.043 |
| lia-lin/chc-LIA-Lin_237.smt2 | unknown | 300.049 |
| lia-lin/chc-LIA-Lin_238.smt2 | unknown | 300.037 |
| lia-lin/chc-LIA-Lin_239.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_240.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_241.smt2 | unsat | 7.50644 |
| lia-lin/chc-LIA-Lin_242.smt2 | unknown | 300.113 |
| lia-lin/chc-LIA-Lin_243.smt2 | unknown | 300.03 |
| lia-lin/chc-LIA-Lin_244.smt2 | sat | 58.5387 |
| lia-lin/chc-LIA-Lin_245.smt2 | unknown | 300.115 |
| lia-lin/chc-LIA-Lin_246.smt2 | sat | 15.1248 |
| lia-lin/chc-LIA-Lin_247.smt2 | unknown | 300.03 |
| lia-lin/chc-LIA-Lin_248.smt2 | unknown | 300.026 |
| lia-lin/chc-LIA-Lin_249.smt2 | sat | 15.7136 |
| lia-lin/chc-LIA-Lin_250.smt2 | unknown | 300.021 |
| lia-lin/chc-LIA-Lin_251.smt2 | unknown | 300.028 |
| lia-lin/chc-LIA-Lin_252.smt2 | sat | 53.4764 |
| lia-lin/chc-LIA-Lin_253.smt2 | unknown | 13.663 |
| lia-lin/chc-LIA-Lin_254.smt2 | sat | 14.6696 |
| lia-lin/chc-LIA-Lin_255.smt2 | unknown | 42.4861 |
| lia-lin/chc-LIA-Lin_256.smt2 | unknown | 13.2575 |
| lia-lin/chc-LIA-Lin_257.smt2 | unknown | 300.062 |
| lia-lin/chc-LIA-Lin_258.smt2 | unknown | 6.10748 |
| lia-lin/chc-LIA-Lin_259.smt2 | sat | 82.0072 |
| lia-lin/chc-LIA-Lin_260.smt2 | sat | 2.57254 |
| lia-lin/chc-LIA-Lin_261.smt2 | unknown | 300.026 |
| lia-lin/chc-LIA-Lin_263.smt2 | sat | 3.31641 |
| lia-lin/chc-LIA-Lin_265.smt2 | sat | 2.56913 |
| lia-lin/chc-LIA-Lin_266.smt2 | unknown | 300.109 |
| lia-lin/chc-LIA-Lin_267.smt2 | sat | 3.06273 |
| lia-lin/chc-LIA-Lin_269.smt2 | sat | 6.28335 |
| lia-lin/chc-LIA-Lin_270.smt2 | sat | 5.44719 |
| lia-lin/chc-LIA-Lin_279.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_280.smt2 | sat | 63.5869 |
| lia-lin/chc-LIA-Lin_283.smt2 | unknown | 300.045 |
| lia-lin/chc-LIA-Lin_289.smt2 | unknown | 300.022 |
| lia-lin/chc-LIA-Lin_290.smt2 | sat | 8.45658 |
| lia-lin/chc-LIA-Lin_291.smt2 | sat | 2.94823 |
| lia-lin/chc-LIA-Lin_292.smt2 | sat | 2.95392 |
| lia-lin/chc-LIA-Lin_293.smt2 | sat | 2.95516 |
| lia-lin/chc-LIA-Lin_294.smt2 | sat | 3.53484 |
| lia-lin/chc-LIA-Lin_295.smt2 | sat | 2.90027 |
| lia-lin/chc-LIA-Lin_296.smt2 | unknown | 300.032 |
| lia-lin/chc-LIA-Lin_297.smt2 | unsat | 20.0339 |
| lia-lin/chc-LIA-Lin_298.smt2 | sat | 6.31713 |
| lia-lin/chc-LIA-Lin_299.smt2 | unsat | 19.9912 |
| lia-lin/chc-LIA-Lin_300.smt2 | sat | 3.68215 |
| lia-lin/chc-LIA-Lin_301.smt2 | sat | 3.65937 |
| lia-lin/chc-LIA-Lin_303.smt2 | sat | 10.3812 |
| lia-lin/chc-LIA-Lin_304.smt2 | sat | 6.46849 |
| lia-lin/chc-LIA-Lin_305.smt2 | sat | 8.6819 |
| lia-lin/chc-LIA-Lin_306.smt2 | sat | 1.54372 |
| lia-lin/chc-LIA-Lin_307.smt2 | sat | 1.68034 |
| lia-lin/chc-LIA-Lin_308.smt2 | sat | 2.47881 |
| lia-lin/chc-LIA-Lin_309.smt2 | sat | 1.67784 |
| lia-lin/chc-LIA-Lin_310.smt2 | sat | 1.62937 |
| lia-lin/chc-LIA-Lin_311.smt2 | sat | 1.48799 |
| lia-lin/chc-LIA-Lin_312.smt2 | unknown | 300.122 |
| lia-lin/chc-LIA-Lin_313.smt2 | unknown | 1.48866 |
| lia-lin/chc-LIA-Lin_314.smt2 | unknown | 1.66914 |
| lia-lin/chc-LIA-Lin_315.smt2 | sat | 1.72481 |
| lia-lin/chc-LIA-Lin_316.smt2 | unknown | 1.74351 |
| lia-lin/chc-LIA-Lin_317.smt2 | sat | 1.71508 |
| lia-lin/chc-LIA-Lin_318.smt2 | sat | 2.50739 |
| lia-lin/chc-LIA-Lin_319.smt2 | unsat | 2.43019 |
| lia-lin/chc-LIA-Lin_320.smt2 | sat | 1.74837 |
| lia-lin/chc-LIA-Lin_321.smt2 | unsat | 2.38011 |
| lia-lin/chc-LIA-Lin_322.smt2 | unsat | 2.35646 |
| lia-lin/chc-LIA-Lin_323.smt2 | sat | 1.68126 |
| lia-lin/chc-LIA-Lin_324.smt2 | sat | 2.21929 |
| lia-lin/chc-LIA-Lin_325.smt2 | sat | 3.4125 |
| lia-lin/chc-LIA-Lin_326.smt2 | unsat | 2.8626 |
| lia-lin/chc-LIA-Lin_327.smt2 | unsat | 2.72271 |
| lia-lin/chc-LIA-Lin_328.smt2 | unsat | 2.38945 |
| lia-lin/chc-LIA-Lin_329.smt2 | unsat | 2.53665 |
| lia-lin/chc-LIA-Lin_330.smt2 | unsat | 2.37636 |
| lia-lin/chc-LIA-Lin_331.smt2 | unsat | 2.32632 |
| lia-lin/chc-LIA-Lin_332.smt2 | unsat | 2.84835 |
| lia-lin/chc-LIA-Lin_333.smt2 | sat | 1.701 |
| lia-lin/chc-LIA-Lin_334.smt2 | unsat | 2.85342 |
| lia-lin/chc-LIA-Lin_335.smt2 | unsat | 2.94849 |
| lia-lin/chc-LIA-Lin_336.smt2 | unsat | 2.76295 |
| lia-lin/chc-LIA-Lin_337.smt2 | unknown | 8.66789 |
| lia-lin/chc-LIA-Lin_338.smt2 | unknown | 69.9894 |
| lia-lin/chc-LIA-Lin_340.smt2 | unknown | 84.7365 |
| lia-lin/chc-LIA-Lin_341.smt2 | unknown | 130.206 |
| lia-lin/chc-LIA-Lin_343.smt2 | unknown | 300.037 |
| lia-lin/chc-LIA-Lin_344.smt2 | unknown | 75.6617 |
| lia-lin/chc-LIA-Lin_345.smt2 | unknown | 300.043 |
| lia-lin/chc-LIA-Lin_346.smt2 | unknown | 300.116 |
| lia-lin/chc-LIA-Lin_347.smt2 | unknown | 300.043 |
| lia-lin/chc-LIA-Lin_348.smt2 | unsat | 7.18646 |
| lia-lin/chc-LIA-Lin_349.smt2 | unsat | 6.89061 |
| lia-lin/chc-LIA-Lin_350.smt2 | sat | 3.85272 |
| lia-lin/chc-LIA-Lin_352.smt2 | unknown | 17.1941 |
| lia-lin/chc-LIA-Lin_353.smt2 | unknown | 281.366 |
| lia-lin/chc-LIA-Lin_355.smt2 | sat | 3.17007 |
| lia-lin/chc-LIA-Lin_356.smt2 | unknown | 30.5076 |
| lia-lin/chc-LIA-Lin_357.smt2 | unknown | 300.048 |
| lia-lin/chc-LIA-Lin_358.smt2 | unsat | 3.3166 |
| lia-lin/chc-LIA-Lin_360.smt2 | unknown | 300.089 |
| lia-lin/chc-LIA-Lin_361.smt2 | unknown | 300.035 |
| lia-lin/chc-LIA-Lin_362.smt2 | unsat | 3.57083 |
| lia-lin/chc-LIA-Lin_364.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_366.smt2 | unknown | 300.112 |
| lia-lin/chc-LIA-Lin_369.smt2 | unknown | 300.022 |
| lia-lin/chc-LIA-Lin_370.smt2 | unknown | 22.1997 |
| lia-lin/chc-LIA-Lin_371.smt2 | unknown | 40.2869 |
| lia-lin/chc-LIA-Lin_372.smt2 | unknown | 300.054 |
| lia-lin/chc-LIA-Lin_373.smt2 | unknown | 40.5701 |
| lia-lin/chc-LIA-Lin_374.smt2 | unknown | 300.081 |
| lia-lin/chc-LIA-Lin_375.smt2 | unknown | 140.603 |
| lia-lin/chc-LIA-Lin_378.smt2 | sat | 30.6487 |
| lia-lin/chc-LIA-Lin_379.smt2 | unknown | 13.1055 |
| lia-lin/chc-LIA-Lin_381.smt2 | unsat | 2.76402 |
| lia-lin/chc-LIA-Lin_382.smt2 | unknown | 300.023 |
| lia-lin/chc-LIA-Lin_385.smt2 | unknown | 300.1 |
| lia-lin/chc-LIA-Lin_386.smt2 | unsat | 3.70072 |
| lia-lin/chc-LIA-Lin_388.smt2 | unknown | 19.0447 |
| lia-lin/chc-LIA-Lin_392.smt2 | unknown | 300.038 |
| lia-lin/chc-LIA-Lin_393.smt2 | unknown | 135.887 |
| lia-lin/chc-LIA-Lin_395.smt2 | unknown | 300.033 |
| lia-lin/chc-LIA-Lin_396.smt2 | unknown | 14.4134 |
| lia-lin/chc-LIA-Lin_397.smt2 | unknown | 69.5036 |
| lia-lin/chc-LIA-Lin_401.smt2 | unsat | 2.95695 |
| lia-lin/chc-LIA-Lin_402.smt2 | unsat | 2.62953 |
| lia-lin/chc-LIA-Lin_405.smt2 | unsat | 3.63769 |
| lia-lin/chc-LIA-Lin_406.smt2 | unknown | 300.051 |
| lia-lin/chc-LIA-Lin_408.smt2 | unknown | 300.092 |
| lia-lin/chc-LIA-Lin_409.smt2 | unknown | 1.48844 |
| lia-lin/chc-LIA-Lin_410.smt2 | sat | 2.95124 |
| lia-lin/chc-LIA-Lin_411.smt2 | unknown | 1.7153 |
| lia-lin/chc-LIA-Lin_412.smt2 | sat | 3.02023 |
| lia-lin/chc-LIA-Lin_413.smt2 | sat | 2.22458 |
| lia-lin/chc-LIA-Lin_414.smt2 | unknown | 1.45838 |
| lia-lin/chc-LIA-Lin_415.smt2 | unknown | 1.96318 |
| lia-lin/chc-LIA-Lin_416.smt2 | sat | 1.76085 |
| lia-lin/chc-LIA-Lin_417.smt2 | sat | 1.52679 |
| lia-lin/chc-LIA-Lin_418.smt2 | sat | 2.86826 |
| lia-lin/chc-LIA-Lin_419.smt2 | sat | 1.607 |
| lia-lin/chc-LIA-Lin_420.smt2 | sat | 2.85238 |
| lia-lin/chc-LIA-Lin_421.smt2 | unknown | 1.48706 |
| lia-lin/chc-LIA-Lin_422.smt2 | sat | 4.26996 |
| lia-lin/chc-LIA-Lin_423.smt2 | sat | 2.24103 |
| lia-lin/chc-LIA-Lin_424.smt2 | sat | 3.25575 |
| lia-lin/chc-LIA-Lin_425.smt2 | unknown | 1.75846 |
| lia-lin/chc-LIA-Lin_426.smt2 | unknown | 2.00717 |
| lia-lin/chc-LIA-Lin_427.smt2 | sat | 4.42382 |
| lia-lin/chc-LIA-Lin_428.smt2 | sat | 6.87246 |
| lia-lin/chc-LIA-Lin_429.smt2 | sat | 6.73999 |
| lia-lin/chc-LIA-Lin_430.smt2 | unknown | 6.81421 |
| lia-lin/chc-LIA-Lin_431.smt2 | sat | 10.2924 |
| lia-lin/chc-LIA-Lin_433.smt2 | unknown | 300.035 |
| lia-lin/chc-LIA-Lin_434.smt2 | sat | 4.23912 |
| lia-lin/chc-LIA-Lin_435.smt2 | sat | 5.93706 |
| lia-lin/chc-LIA-Lin_436.smt2 | sat | 3.7695 |
| lia-lin/chc-LIA-Lin_437.smt2 | sat | 5.29399 |
| lia-lin/chc-LIA-Lin_438.smt2 | sat | 4.84627 |
| lia-lin/chc-LIA-Lin_439.smt2 | sat | 3.7937 |
| lia-lin/chc-LIA-Lin_440.smt2 | sat | 5.28637 |
| lia-lin/chc-LIA-Lin_441.smt2 | unknown | 3.79897 |
| lia-lin/chc-LIA-Lin_443.smt2 | sat | 3.30292 |
| lia-lin/chc-LIA-Lin_444.smt2 | sat | 6.24786 |
| lia-lin/chc-LIA-Lin_445.smt2 | sat | 2.53824 |
| lia-lin/chc-LIA-Lin_446.smt2 | unknown | 300.068 |
| lia-lin/chc-LIA-Lin_447.smt2 | unknown | 300.034 |
| lia-lin/chc-LIA-Lin_448.smt2 | unknown | 300.098 |
| lia-lin/chc-LIA-Lin_449.smt2 | unknown | 300.049 |
| lia-lin/chc-LIA-Lin_450.smt2 | sat | 8.94789 |
| lia-lin/chc-LIA-Lin_451.smt2 | unknown | 300.045 |
| lia-lin/chc-LIA-Lin_452.smt2 | unknown | 300.027 |
| lia-lin/chc-LIA-Lin_453.smt2 | unknown | 300.064 |
| lia-lin/chc-LIA-Lin_454.smt2 | unknown | 300.029 |
| lia-lin/chc-LIA-Lin_455.smt2 | unknown | 300.038 |
| lia-lin/chc-LIA-Lin_456.smt2 | unknown | 300.059 |
| lia-lin/chc-LIA-Lin_457.smt2 | unknown | 300.091 |
| lia-lin/chc-LIA-Lin_458.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_459.smt2 | unknown | 300.118 |
| lia-lin/chc-LIA-Lin_460.smt2 | unknown | 300.068 |
| lia-lin/chc-LIA-Lin_461.smt2 | sat | 4.32174 |
| lia-lin/chc-LIA-Lin_462.smt2 | unknown | 300.103 |
| lia-lin/chc-LIA-Lin_463.smt2 | unknown | 300.028 |
| lia-lin/chc-LIA-Lin_465.smt2 | unknown | 300.058 |
| lia-lin/chc-LIA-Lin_466.smt2 | unknown | 300.053 |
| lia-lin/chc-LIA-Lin_467.smt2 | unknown | 300.032 |
| lia-lin/chc-LIA-Lin_468.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_469.smt2 | unknown | 300.03 |
| lia-lin/chc-LIA-Lin_470.smt2 | unknown | 300.112 |
| lia-lin/chc-LIA-Lin_471.smt2 | unknown | 300.061 |
| lia-lin/chc-LIA-Lin_472.smt2 | unknown | 300.075 |
| lia-lin/chc-LIA-Lin_473.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_474.smt2 | unknown | 300.032 |
| lia-lin/chc-LIA-Lin_475.smt2 | unsat | 13.034 |
| lia-lin/chc-LIA-Lin_476.smt2 | unknown | 300.025 |
| lia-lin/chc-LIA-Lin_477.smt2 | unknown | 300.021 |
| lia-lin/chc-LIA-Lin_478.smt2 | unknown | 300.123 |
| lia-lin/chc-LIA-Lin_479.smt2 | unknown | 300.109 |
| lia-lin/chc-LIA-Lin_480.smt2 | unknown | 300.119 |
| lia-lin/chc-LIA-Lin_481.smt2 | sat | 289.419 |
| lia-lin/chc-LIA-Lin_482.smt2 | unknown | 300.036 |
| lia-lin/chc-LIA-Lin_483.smt2 | unknown | 300.028 |
| lia-lin/chc-LIA-Lin_484.smt2 | unknown | 300.076 |
| lia-lin/chc-LIA-Lin_485.smt2 | unknown | 300.09 |
| lia-lin/chc-LIA-Lin_486.smt2 | unknown | 300.028 |
| lia-lin/chc-LIA-Lin_487.smt2 | unknown | 300.035 |
| lia-lin/chc-LIA-Lin_488.smt2 | unknown | 300.034 |
| lia-lin/chc-LIA-Lin_489.smt2 | unknown | 300.049 |
| lia-lin/chc-LIA-Lin_491.smt2 | unknown | 300.093 |
| lia-lin/chc-LIA-Lin_492.smt2 | unknown | 300.029 |
| lia-lin/chc-LIA-Lin_493.smt2 | unknown | 300.11 |
| lia-lin/chc-LIA-Lin_494.smt2 | unknown | 300.05 |
| lia-lin/chc-LIA-Lin_495.smt2 | sat | 216.797 |
| lia-lin/chc-LIA-Lin_496.smt2 | unknown | 300.037 |
| lia-lin/chc-LIA-Lin_497.smt2 | unknown | 300.07 |
| lia-lin/chc-LIA-Lin_498.smt2 | unknown | 300.099 |