| name | result | time |
|---|
| lia-lin/chc-LIA-Lin_000.smt2 | sat | 2.08528 |
| lia-lin/chc-LIA-Lin_001.smt2 | sat | 2.42447 |
| lia-lin/chc-LIA-Lin_002.smt2 | sat | 3.00071 |
| lia-lin/chc-LIA-Lin_003.smt2 | sat | 2.12498 |
| lia-lin/chc-LIA-Lin_004.smt2 | sat | 2.46901 |
| lia-lin/chc-LIA-Lin_005.smt2 | sat | 2.57283 |
| lia-lin/chc-LIA-Lin_006.smt2 | unknown | 300.05 |
| lia-lin/chc-LIA-Lin_008.smt2 | unknown | 300.11 |
| lia-lin/chc-LIA-Lin_009.smt2 | unknown | 300.03 |
| lia-lin/chc-LIA-Lin_010.smt2 | unknown | 300.025 |
| lia-lin/chc-LIA-Lin_012.smt2 | sat | 2.27698 |
| lia-lin/chc-LIA-Lin_013.smt2 | sat | 2.3078 |
| lia-lin/chc-LIA-Lin_014.smt2 | sat | 2.31608 |
| lia-lin/chc-LIA-Lin_015.smt2 | unknown | 300.021 |
| lia-lin/chc-LIA-Lin_016.smt2 | sat | 24.9885 |
| lia-lin/chc-LIA-Lin_017.smt2 | sat | 4.16465 |
| lia-lin/chc-LIA-Lin_018.smt2 | sat | 43.2091 |
| lia-lin/chc-LIA-Lin_019.smt2 | sat | 98.7938 |
| lia-lin/chc-LIA-Lin_020.smt2 | unknown | 300.033 |
| lia-lin/chc-LIA-Lin_021.smt2 | sat | 25.1942 |
| lia-lin/chc-LIA-Lin_022.smt2 | unknown | 300.03 |
| lia-lin/chc-LIA-Lin_023.smt2 | sat | 15.7325 |
| lia-lin/chc-LIA-Lin_026.smt2 | sat | 37.7338 |
| lia-lin/chc-LIA-Lin_027.smt2 | unknown | 300.035 |
| lia-lin/chc-LIA-Lin_029.smt2 | sat | 28.8203 |
| lia-lin/chc-LIA-Lin_032.smt2 | unsat | 2.14027 |
| lia-lin/chc-LIA-Lin_034.smt2 | unsat | 2.03396 |
| lia-lin/chc-LIA-Lin_036.smt2 | unsat | 12.2861 |
| lia-lin/chc-LIA-Lin_037.smt2 | unsat | 24.0933 |
| lia-lin/chc-LIA-Lin_038.smt2 | unsat | 46.7328 |
| lia-lin/chc-LIA-Lin_043.smt2 | unknown | 300.022 |
| lia-lin/chc-LIA-Lin_044.smt2 | unknown | 300.021 |
| lia-lin/chc-LIA-Lin_045.smt2 | unknown | 300.038 |
| lia-lin/chc-LIA-Lin_047.smt2 | unknown | 300.053 |
| lia-lin/chc-LIA-Lin_050.smt2 | unknown | 300.046 |
| lia-lin/chc-LIA-Lin_052.smt2 | unknown | 300.057 |
| lia-lin/chc-LIA-Lin_053.smt2 | unknown | 300.022 |
| lia-lin/chc-LIA-Lin_057.smt2 | unknown | 300.034 |
| lia-lin/chc-LIA-Lin_059.smt2 | unknown | 300.028 |
| lia-lin/chc-LIA-Lin_060.smt2 | unsat | 2.12464 |
| lia-lin/chc-LIA-Lin_061.smt2 | unsat | 2.63803 |
| lia-lin/chc-LIA-Lin_062.smt2 | unsat | 1.59673 |
| lia-lin/chc-LIA-Lin_063.smt2 | unsat | 1.85933 |
| lia-lin/chc-LIA-Lin_064.smt2 | unsat | 1.68635 |
| lia-lin/chc-LIA-Lin_065.smt2 | unsat | 5.37852 |
| lia-lin/chc-LIA-Lin_067.smt2 | unsat | 2.00716 |
| lia-lin/chc-LIA-Lin_068.smt2 | sat | 2.97864 |
| lia-lin/chc-LIA-Lin_069.smt2 | unsat | 212.75 |
| lia-lin/chc-LIA-Lin_071.smt2 | unsat | 10.3945 |
| lia-lin/chc-LIA-Lin_072.smt2 | unsat | 28.8911 |
| lia-lin/chc-LIA-Lin_073.smt2 | unknown | 300.039 |
| lia-lin/chc-LIA-Lin_074.smt2 | unknown | 300.023 |
| lia-lin/chc-LIA-Lin_075.smt2 | unknown | 300.065 |
| lia-lin/chc-LIA-Lin_076.smt2 | unknown | 300.1 |
| lia-lin/chc-LIA-Lin_078.smt2 | unknown | 300.075 |
| lia-lin/chc-LIA-Lin_079.smt2 | sat | 2.36859 |
| lia-lin/chc-LIA-Lin_080.smt2 | sat | 2.76945 |
| lia-lin/chc-LIA-Lin_081.smt2 | sat | 2.42985 |
| lia-lin/chc-LIA-Lin_082.smt2 | sat | 3.22043 |
| lia-lin/chc-LIA-Lin_083.smt2 | unsat | 2.32738 |
| lia-lin/chc-LIA-Lin_084.smt2 | unsat | 2.73979 |
| lia-lin/chc-LIA-Lin_085.smt2 | sat | 2.71039 |
| lia-lin/chc-LIA-Lin_086.smt2 | unsat | 2.68707 |
| lia-lin/chc-LIA-Lin_087.smt2 | sat | 3.46146 |
| lia-lin/chc-LIA-Lin_088.smt2 | sat | 3.99355 |
| lia-lin/chc-LIA-Lin_089.smt2 | unsat | 17.4514 |
| lia-lin/chc-LIA-Lin_090.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_091.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_092.smt2 | unsat | 17.4723 |
| lia-lin/chc-LIA-Lin_093.smt2 | sat | 3.7668 |
| lia-lin/chc-LIA-Lin_094.smt2 | sat | 3.67417 |
| lia-lin/chc-LIA-Lin_095.smt2 | sat | 3.98778 |
| lia-lin/chc-LIA-Lin_096.smt2 | unsat | 20.3472 |
| lia-lin/chc-LIA-Lin_097.smt2 | sat | 2.84755 |
| lia-lin/chc-LIA-Lin_098.smt2 | sat | 3.31073 |
| lia-lin/chc-LIA-Lin_099.smt2 | unknown | 300.114 |
| lia-lin/chc-LIA-Lin_100.smt2 | unknown | 300.021 |
| lia-lin/chc-LIA-Lin_101.smt2 | sat | 9.32773 |
| lia-lin/chc-LIA-Lin_102.smt2 | unknown | 300.029 |
| lia-lin/chc-LIA-Lin_103.smt2 | unknown | 300.026 |
| lia-lin/chc-LIA-Lin_104.smt2 | unknown | 300.035 |
| lia-lin/chc-LIA-Lin_105.smt2 | unknown | 300.08 |
| lia-lin/chc-LIA-Lin_106.smt2 | unknown | 300.112 |
| lia-lin/chc-LIA-Lin_107.smt2 | sat | 25.9947 |
| lia-lin/chc-LIA-Lin_108.smt2 | unknown | 300.026 |
| lia-lin/chc-LIA-Lin_109.smt2 | sat | 4.16969 |
| lia-lin/chc-LIA-Lin_110.smt2 | sat | 2.32259 |
| lia-lin/chc-LIA-Lin_111.smt2 | unsat | 4.79763 |
| lia-lin/chc-LIA-Lin_112.smt2 | sat | 3.00607 |
| lia-lin/chc-LIA-Lin_113.smt2 | sat | 3.09189 |
| lia-lin/chc-LIA-Lin_114.smt2 | sat | 3.09638 |
| lia-lin/chc-LIA-Lin_115.smt2 | sat | 1.87107 |
| lia-lin/chc-LIA-Lin_116.smt2 | unsat | 1.90226 |
| lia-lin/chc-LIA-Lin_117.smt2 | unsat | 1.82574 |
| lia-lin/chc-LIA-Lin_118.smt2 | sat | 1.85552 |
| lia-lin/chc-LIA-Lin_119.smt2 | unsat | 5.06168 |
| lia-lin/chc-LIA-Lin_120.smt2 | sat | 1.66744 |
| lia-lin/chc-LIA-Lin_121.smt2 | sat | 1.80887 |
| lia-lin/chc-LIA-Lin_122.smt2 | sat | 11.9683 |
| lia-lin/chc-LIA-Lin_123.smt2 | unsat | 6.98697 |
| lia-lin/chc-LIA-Lin_124.smt2 | unknown | 300.122 |
| lia-lin/chc-LIA-Lin_125.smt2 | unknown | 300.045 |
| lia-lin/chc-LIA-Lin_126.smt2 | sat | 30.3859 |
| lia-lin/chc-LIA-Lin_127.smt2 | unknown | 300.043 |
| lia-lin/chc-LIA-Lin_128.smt2 | sat | 5.50811 |
| lia-lin/chc-LIA-Lin_129.smt2 | sat | 81.7429 |
| lia-lin/chc-LIA-Lin_130.smt2 | unsat | 12.8667 |
| lia-lin/chc-LIA-Lin_131.smt2 | sat | 168.901 |
| lia-lin/chc-LIA-Lin_132.smt2 | sat | 37.3448 |
| lia-lin/chc-LIA-Lin_133.smt2 | unsat | 12.3464 |
| lia-lin/chc-LIA-Lin_134.smt2 | sat | 2.79204 |
| lia-lin/chc-LIA-Lin_135.smt2 | unknown | 300.03 |
| lia-lin/chc-LIA-Lin_136.smt2 | sat | 64.8655 |
| lia-lin/chc-LIA-Lin_137.smt2 | unknown | 300.038 |
| lia-lin/chc-LIA-Lin_138.smt2 | unknown | 300.025 |
| lia-lin/chc-LIA-Lin_139.smt2 | unknown | 300.082 |
| lia-lin/chc-LIA-Lin_140.smt2 | unknown | 300.056 |
| lia-lin/chc-LIA-Lin_141.smt2 | unknown | 300.039 |
| lia-lin/chc-LIA-Lin_142.smt2 | unknown | 300.033 |
| lia-lin/chc-LIA-Lin_143.smt2 | unknown | 300.028 |
| lia-lin/chc-LIA-Lin_144.smt2 | unknown | 300.047 |
| lia-lin/chc-LIA-Lin_145.smt2 | unknown | 300.036 |
| lia-lin/chc-LIA-Lin_146.smt2 | unknown | 300.119 |
| lia-lin/chc-LIA-Lin_147.smt2 | sat | 77.5744 |
| lia-lin/chc-LIA-Lin_148.smt2 | unknown | 300.097 |
| lia-lin/chc-LIA-Lin_149.smt2 | unknown | 300.033 |
| lia-lin/chc-LIA-Lin_150.smt2 | unknown | 300.131 |
| lia-lin/chc-LIA-Lin_151.smt2 | unknown | 300.043 |
| lia-lin/chc-LIA-Lin_152.smt2 | unknown | 300.077 |
| lia-lin/chc-LIA-Lin_153.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_154.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_155.smt2 | unknown | 300.101 |
| lia-lin/chc-LIA-Lin_156.smt2 | sat | 58.258 |
| lia-lin/chc-LIA-Lin_157.smt2 | unknown | 300.085 |
| lia-lin/chc-LIA-Lin_158.smt2 | unknown | 300.062 |
| lia-lin/chc-LIA-Lin_159.smt2 | unknown | 300.071 |
| lia-lin/chc-LIA-Lin_160.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_161.smt2 | unknown | 300.105 |
| lia-lin/chc-LIA-Lin_162.smt2 | sat | 53.2873 |
| lia-lin/chc-LIA-Lin_163.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_164.smt2 | unknown | 300.047 |
| lia-lin/chc-LIA-Lin_165.smt2 | unknown | 300.064 |
| lia-lin/chc-LIA-Lin_166.smt2 | unknown | 300.063 |
| lia-lin/chc-LIA-Lin_167.smt2 | unknown | 300.044 |
| lia-lin/chc-LIA-Lin_168.smt2 | unknown | 300.062 |
| lia-lin/chc-LIA-Lin_169.smt2 | unknown | 300.049 |
| lia-lin/chc-LIA-Lin_170.smt2 | sat | 4.20929 |
| lia-lin/chc-LIA-Lin_171.smt2 | sat | 2.76177 |
| lia-lin/chc-LIA-Lin_172.smt2 | sat | 5.6137 |
| lia-lin/chc-LIA-Lin_173.smt2 | sat | 6.93192 |
| lia-lin/chc-LIA-Lin_174.smt2 | sat | 3.69167 |
| lia-lin/chc-LIA-Lin_175.smt2 | unsat | 3.11337 |
| lia-lin/chc-LIA-Lin_176.smt2 | sat | 2.37313 |
| lia-lin/chc-LIA-Lin_177.smt2 | sat | 2.61151 |
| lia-lin/chc-LIA-Lin_178.smt2 | sat | 4.7528 |
| lia-lin/chc-LIA-Lin_179.smt2 | sat | 5.73052 |
| lia-lin/chc-LIA-Lin_180.smt2 | sat | 2.97239 |
| lia-lin/chc-LIA-Lin_181.smt2 | sat | 3.70331 |
| lia-lin/chc-LIA-Lin_182.smt2 | sat | 4.20324 |
| lia-lin/chc-LIA-Lin_183.smt2 | sat | 2.54347 |
| lia-lin/chc-LIA-Lin_184.smt2 | sat | 2.64162 |
| lia-lin/chc-LIA-Lin_185.smt2 | unsat | 2.17744 |
| lia-lin/chc-LIA-Lin_186.smt2 | sat | 2.95529 |
| lia-lin/chc-LIA-Lin_187.smt2 | unsat | 2.33036 |
| lia-lin/chc-LIA-Lin_188.smt2 | sat | 59.7924 |
| lia-lin/chc-LIA-Lin_189.smt2 | unknown | 300.023 |
| lia-lin/chc-LIA-Lin_190.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_191.smt2 | unknown | 300.046 |
| lia-lin/chc-LIA-Lin_192.smt2 | unknown | 300.033 |
| lia-lin/chc-LIA-Lin_193.smt2 | sat | 290.33 |
| lia-lin/chc-LIA-Lin_194.smt2 | sat | 8.01957 |
| lia-lin/chc-LIA-Lin_195.smt2 | unknown | 300.119 |
| lia-lin/chc-LIA-Lin_196.smt2 | sat | 177.733 |
| lia-lin/chc-LIA-Lin_197.smt2 | unsat | 130.174 |
| lia-lin/chc-LIA-Lin_198.smt2 | sat | 5.09369 |
| lia-lin/chc-LIA-Lin_199.smt2 | unknown | 300.021 |
| lia-lin/chc-LIA-Lin_200.smt2 | unknown | 300.03 |
| lia-lin/chc-LIA-Lin_201.smt2 | unknown | 300.095 |
| lia-lin/chc-LIA-Lin_202.smt2 | unknown | 300.036 |
| lia-lin/chc-LIA-Lin_203.smt2 | unknown | 300.025 |
| lia-lin/chc-LIA-Lin_204.smt2 | unknown | 300.034 |
| lia-lin/chc-LIA-Lin_205.smt2 | unknown | 300.021 |
| lia-lin/chc-LIA-Lin_206.smt2 | sat | 17.6361 |
| lia-lin/chc-LIA-Lin_207.smt2 | unknown | 300.021 |
| lia-lin/chc-LIA-Lin_208.smt2 | unknown | 300.041 |
| lia-lin/chc-LIA-Lin_209.smt2 | unknown | 300.138 |
| lia-lin/chc-LIA-Lin_210.smt2 | unknown | 300.03 |
| lia-lin/chc-LIA-Lin_211.smt2 | unknown | 300.106 |
| lia-lin/chc-LIA-Lin_212.smt2 | unknown | 300.111 |
| lia-lin/chc-LIA-Lin_213.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_214.smt2 | sat | 8.81699 |
| lia-lin/chc-LIA-Lin_215.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_216.smt2 | unknown | 300.047 |
| lia-lin/chc-LIA-Lin_217.smt2 | sat | 15.7284 |
| lia-lin/chc-LIA-Lin_218.smt2 | sat | 14.6629 |
| lia-lin/chc-LIA-Lin_219.smt2 | unknown | 300.127 |
| lia-lin/chc-LIA-Lin_220.smt2 | sat | 36.7114 |
| lia-lin/chc-LIA-Lin_221.smt2 | unknown | 300.111 |
| lia-lin/chc-LIA-Lin_222.smt2 | unknown | 300.056 |
| lia-lin/chc-LIA-Lin_223.smt2 | unknown | 300.101 |
| lia-lin/chc-LIA-Lin_224.smt2 | sat | 33.5019 |
| lia-lin/chc-LIA-Lin_225.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_226.smt2 | unknown | 300.043 |
| lia-lin/chc-LIA-Lin_227.smt2 | unknown | 300.109 |
| lia-lin/chc-LIA-Lin_228.smt2 | unknown | 300.098 |
| lia-lin/chc-LIA-Lin_229.smt2 | unknown | 300.107 |
| lia-lin/chc-LIA-Lin_230.smt2 | unknown | 300.035 |
| lia-lin/chc-LIA-Lin_231.smt2 | sat | 13.7674 |
| lia-lin/chc-LIA-Lin_232.smt2 | unknown | 300.041 |
| lia-lin/chc-LIA-Lin_233.smt2 | unknown | 300.022 |
| lia-lin/chc-LIA-Lin_234.smt2 | unknown | 300.095 |
| lia-lin/chc-LIA-Lin_235.smt2 | sat | 32.9402 |
| lia-lin/chc-LIA-Lin_236.smt2 | unknown | 300.044 |
| lia-lin/chc-LIA-Lin_237.smt2 | unknown | 300.043 |
| lia-lin/chc-LIA-Lin_238.smt2 | unknown | 300.043 |
| lia-lin/chc-LIA-Lin_239.smt2 | unknown | 300.111 |
| lia-lin/chc-LIA-Lin_240.smt2 | unknown | 300.125 |
| lia-lin/chc-LIA-Lin_241.smt2 | sat | 12.159 |
| lia-lin/chc-LIA-Lin_242.smt2 | unknown | 300.045 |
| lia-lin/chc-LIA-Lin_243.smt2 | unknown | 300.046 |
| lia-lin/chc-LIA-Lin_244.smt2 | sat | 32.7336 |
| lia-lin/chc-LIA-Lin_245.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_246.smt2 | sat | 14.3401 |
| lia-lin/chc-LIA-Lin_247.smt2 | unknown | 300.021 |
| lia-lin/chc-LIA-Lin_248.smt2 | unknown | 300.027 |
| lia-lin/chc-LIA-Lin_249.smt2 | sat | 18.0478 |
| lia-lin/chc-LIA-Lin_250.smt2 | unknown | 300.036 |
| lia-lin/chc-LIA-Lin_251.smt2 | sat | 13.3833 |
| lia-lin/chc-LIA-Lin_252.smt2 | sat | 51.9008 |
| lia-lin/chc-LIA-Lin_253.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_254.smt2 | sat | 15.3599 |
| lia-lin/chc-LIA-Lin_255.smt2 | unknown | 300.027 |
| lia-lin/chc-LIA-Lin_256.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_257.smt2 | unknown | 300.098 |
| lia-lin/chc-LIA-Lin_258.smt2 | unknown | 300.051 |
| lia-lin/chc-LIA-Lin_259.smt2 | sat | 57.3736 |
| lia-lin/chc-LIA-Lin_260.smt2 | sat | 2.26812 |
| lia-lin/chc-LIA-Lin_261.smt2 | sat | 2.50162 |
| lia-lin/chc-LIA-Lin_263.smt2 | sat | 2.48423 |
| lia-lin/chc-LIA-Lin_265.smt2 | sat | 2.20122 |
| lia-lin/chc-LIA-Lin_266.smt2 | sat | 6.53653 |
| lia-lin/chc-LIA-Lin_267.smt2 | unknown | 300.029 |
| lia-lin/chc-LIA-Lin_269.smt2 | sat | 5.98836 |
| lia-lin/chc-LIA-Lin_270.smt2 | sat | 5.20542 |
| lia-lin/chc-LIA-Lin_279.smt2 | sat | 5.73724 |
| lia-lin/chc-LIA-Lin_280.smt2 | sat | 48.7467 |
| lia-lin/chc-LIA-Lin_283.smt2 | unknown | 300.033 |
| lia-lin/chc-LIA-Lin_289.smt2 | unknown | 300.082 |
| lia-lin/chc-LIA-Lin_290.smt2 | sat | 3.18509 |
| lia-lin/chc-LIA-Lin_291.smt2 | sat | 2.5977 |
| lia-lin/chc-LIA-Lin_292.smt2 | sat | 2.66197 |
| lia-lin/chc-LIA-Lin_293.smt2 | sat | 2.69456 |
| lia-lin/chc-LIA-Lin_294.smt2 | sat | 3.09515 |
| lia-lin/chc-LIA-Lin_295.smt2 | sat | 2.69026 |
| lia-lin/chc-LIA-Lin_296.smt2 | unknown | 300.111 |
| lia-lin/chc-LIA-Lin_297.smt2 | unsat | 20.0724 |
| lia-lin/chc-LIA-Lin_298.smt2 | sat | 5.86816 |
| lia-lin/chc-LIA-Lin_299.smt2 | unsat | 19.65 |
| lia-lin/chc-LIA-Lin_300.smt2 | sat | 3.35704 |
| lia-lin/chc-LIA-Lin_301.smt2 | sat | 3.39946 |
| lia-lin/chc-LIA-Lin_303.smt2 | sat | 8.25783 |
| lia-lin/chc-LIA-Lin_304.smt2 | sat | 6.13201 |
| lia-lin/chc-LIA-Lin_305.smt2 | sat | 8.28095 |
| lia-lin/chc-LIA-Lin_306.smt2 | sat | 1.53667 |
| lia-lin/chc-LIA-Lin_307.smt2 | sat | 1.63357 |
| lia-lin/chc-LIA-Lin_308.smt2 | sat | 2.03632 |
| lia-lin/chc-LIA-Lin_309.smt2 | sat | 1.6626 |
| lia-lin/chc-LIA-Lin_310.smt2 | sat | 1.58573 |
| lia-lin/chc-LIA-Lin_311.smt2 | sat | 1.46026 |
| lia-lin/chc-LIA-Lin_312.smt2 | unknown | 300.114 |
| lia-lin/chc-LIA-Lin_313.smt2 | unsat | 1.78883 |
| lia-lin/chc-LIA-Lin_314.smt2 | sat | 1.7071 |
| lia-lin/chc-LIA-Lin_315.smt2 | sat | 1.70051 |
| lia-lin/chc-LIA-Lin_316.smt2 | unsat | 1.96028 |
| lia-lin/chc-LIA-Lin_317.smt2 | sat | 1.75962 |
| lia-lin/chc-LIA-Lin_318.smt2 | sat | 2.50545 |
| lia-lin/chc-LIA-Lin_319.smt2 | unsat | 2.31263 |
| lia-lin/chc-LIA-Lin_320.smt2 | sat | 1.66971 |
| lia-lin/chc-LIA-Lin_321.smt2 | unsat | 2.01918 |
| lia-lin/chc-LIA-Lin_322.smt2 | unsat | 2.06342 |
| lia-lin/chc-LIA-Lin_323.smt2 | sat | 1.68172 |
| lia-lin/chc-LIA-Lin_324.smt2 | sat | 2.17859 |
| lia-lin/chc-LIA-Lin_325.smt2 | sat | 2.35878 |
| lia-lin/chc-LIA-Lin_326.smt2 | unsat | 2.43352 |
| lia-lin/chc-LIA-Lin_327.smt2 | unsat | 2.3551 |
| lia-lin/chc-LIA-Lin_328.smt2 | unsat | 2.04004 |
| lia-lin/chc-LIA-Lin_329.smt2 | unsat | 2.25589 |
| lia-lin/chc-LIA-Lin_330.smt2 | unsat | 2.05504 |
| lia-lin/chc-LIA-Lin_331.smt2 | unsat | 2.04038 |
| lia-lin/chc-LIA-Lin_332.smt2 | unsat | 2.35886 |
| lia-lin/chc-LIA-Lin_333.smt2 | sat | 1.71725 |
| lia-lin/chc-LIA-Lin_334.smt2 | unsat | 2.61037 |
| lia-lin/chc-LIA-Lin_335.smt2 | unsat | 2.32548 |
| lia-lin/chc-LIA-Lin_336.smt2 | unsat | 2.20659 |
| lia-lin/chc-LIA-Lin_337.smt2 | unsat | 10.8599 |
| lia-lin/chc-LIA-Lin_338.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_340.smt2 | unknown | 300.059 |
| lia-lin/chc-LIA-Lin_341.smt2 | unknown | 300.043 |
| lia-lin/chc-LIA-Lin_343.smt2 | unknown | 300.055 |
| lia-lin/chc-LIA-Lin_344.smt2 | unknown | 300.116 |
| lia-lin/chc-LIA-Lin_345.smt2 | unknown | 300.04 |
| lia-lin/chc-LIA-Lin_346.smt2 | unknown | 300.03 |
| lia-lin/chc-LIA-Lin_347.smt2 | unknown | 300.059 |
| lia-lin/chc-LIA-Lin_348.smt2 | unsat | 6.75894 |
| lia-lin/chc-LIA-Lin_349.smt2 | unsat | 6.65881 |
| lia-lin/chc-LIA-Lin_350.smt2 | sat | 3.89414 |
| lia-lin/chc-LIA-Lin_352.smt2 | unknown | 300.04 |
| lia-lin/chc-LIA-Lin_353.smt2 | unknown | 300.122 |
| lia-lin/chc-LIA-Lin_355.smt2 | sat | 2.84664 |
| lia-lin/chc-LIA-Lin_356.smt2 | unknown | 300.113 |
| lia-lin/chc-LIA-Lin_357.smt2 | unknown | 300.098 |
| lia-lin/chc-LIA-Lin_358.smt2 | unknown | 300.028 |
| lia-lin/chc-LIA-Lin_360.smt2 | unknown | 300.101 |
| lia-lin/chc-LIA-Lin_361.smt2 | unknown | 300.029 |
| lia-lin/chc-LIA-Lin_362.smt2 | unknown | 300.032 |
| lia-lin/chc-LIA-Lin_364.smt2 | unknown | 300.021 |
| lia-lin/chc-LIA-Lin_366.smt2 | unknown | 300.02 |
| lia-lin/chc-LIA-Lin_369.smt2 | unknown | 300.032 |
| lia-lin/chc-LIA-Lin_370.smt2 | unknown | 300.027 |
| lia-lin/chc-LIA-Lin_371.smt2 | unknown | 300.086 |
| lia-lin/chc-LIA-Lin_372.smt2 | unknown | 300.111 |
| lia-lin/chc-LIA-Lin_373.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_374.smt2 | unknown | 300.1 |
| lia-lin/chc-LIA-Lin_375.smt2 | unknown | 300.07 |
| lia-lin/chc-LIA-Lin_378.smt2 | sat | 24.7589 |
| lia-lin/chc-LIA-Lin_379.smt2 | unknown | 300.03 |
| lia-lin/chc-LIA-Lin_381.smt2 | unknown | 300.107 |
| lia-lin/chc-LIA-Lin_382.smt2 | unknown | 300.113 |
| lia-lin/chc-LIA-Lin_385.smt2 | unknown | 300.029 |
| lia-lin/chc-LIA-Lin_386.smt2 | unknown | 300.164 |
| lia-lin/chc-LIA-Lin_388.smt2 | unknown | 300.032 |
| lia-lin/chc-LIA-Lin_392.smt2 | unknown | 300.093 |
| lia-lin/chc-LIA-Lin_393.smt2 | unknown | 300.03 |
| lia-lin/chc-LIA-Lin_395.smt2 | unknown | 300.066 |
| lia-lin/chc-LIA-Lin_396.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_397.smt2 | unknown | 300.112 |
| lia-lin/chc-LIA-Lin_401.smt2 | unknown | 300.03 |
| lia-lin/chc-LIA-Lin_402.smt2 | unknown | 300.067 |
| lia-lin/chc-LIA-Lin_405.smt2 | unknown | 300.063 |
| lia-lin/chc-LIA-Lin_406.smt2 | unknown | 300.082 |
| lia-lin/chc-LIA-Lin_408.smt2 | unknown | 300.055 |
| lia-lin/chc-LIA-Lin_409.smt2 | sat | 1.64015 |
| lia-lin/chc-LIA-Lin_410.smt2 | sat | 3.09174 |
| lia-lin/chc-LIA-Lin_411.smt2 | sat | 1.85696 |
| lia-lin/chc-LIA-Lin_412.smt2 | sat | 2.97061 |
| lia-lin/chc-LIA-Lin_413.smt2 | sat | 2.23916 |
| lia-lin/chc-LIA-Lin_414.smt2 | sat | 1.60099 |
| lia-lin/chc-LIA-Lin_415.smt2 | sat | 2.22968 |
| lia-lin/chc-LIA-Lin_416.smt2 | sat | 1.76584 |
| lia-lin/chc-LIA-Lin_417.smt2 | sat | 1.51395 |
| lia-lin/chc-LIA-Lin_418.smt2 | sat | 2.87507 |
| lia-lin/chc-LIA-Lin_419.smt2 | sat | 1.59839 |
| lia-lin/chc-LIA-Lin_420.smt2 | sat | 2.82889 |
| lia-lin/chc-LIA-Lin_421.smt2 | sat | 1.61528 |
| lia-lin/chc-LIA-Lin_422.smt2 | sat | 4.06021 |
| lia-lin/chc-LIA-Lin_423.smt2 | sat | 2.2113 |
| lia-lin/chc-LIA-Lin_424.smt2 | sat | 3.19335 |
| lia-lin/chc-LIA-Lin_425.smt2 | sat | 1.89359 |
| lia-lin/chc-LIA-Lin_426.smt2 | sat | 2.57656 |
| lia-lin/chc-LIA-Lin_427.smt2 | sat | 3.97611 |
| lia-lin/chc-LIA-Lin_428.smt2 | sat | 5.7053 |
| lia-lin/chc-LIA-Lin_429.smt2 | sat | 6.69664 |
| lia-lin/chc-LIA-Lin_430.smt2 | sat | 7.10061 |
| lia-lin/chc-LIA-Lin_431.smt2 | sat | 10.4043 |
| lia-lin/chc-LIA-Lin_433.smt2 | unknown | 300.022 |
| lia-lin/chc-LIA-Lin_434.smt2 | sat | 4.07851 |
| lia-lin/chc-LIA-Lin_435.smt2 | sat | 6.04558 |
| lia-lin/chc-LIA-Lin_436.smt2 | sat | 3.70499 |
| lia-lin/chc-LIA-Lin_437.smt2 | sat | 5.16089 |
| lia-lin/chc-LIA-Lin_438.smt2 | sat | 4.87602 |
| lia-lin/chc-LIA-Lin_439.smt2 | sat | 3.90681 |
| lia-lin/chc-LIA-Lin_440.smt2 | sat | 5.42746 |
| lia-lin/chc-LIA-Lin_441.smt2 | sat | 4.43789 |
| lia-lin/chc-LIA-Lin_443.smt2 | sat | 3.43254 |
| lia-lin/chc-LIA-Lin_444.smt2 | sat | 6.07988 |
| lia-lin/chc-LIA-Lin_445.smt2 | sat | 2.51531 |
| lia-lin/chc-LIA-Lin_446.smt2 | unknown | 300.047 |
| lia-lin/chc-LIA-Lin_447.smt2 | unknown | 300.124 |
| lia-lin/chc-LIA-Lin_448.smt2 | unknown | 300.109 |
| lia-lin/chc-LIA-Lin_449.smt2 | unknown | 300.119 |
| lia-lin/chc-LIA-Lin_450.smt2 | sat | 8.61295 |
| lia-lin/chc-LIA-Lin_451.smt2 | unknown | 300.108 |
| lia-lin/chc-LIA-Lin_452.smt2 | unknown | 300.11 |
| lia-lin/chc-LIA-Lin_453.smt2 | unknown | 300.093 |
| lia-lin/chc-LIA-Lin_454.smt2 | unknown | 300.087 |
| lia-lin/chc-LIA-Lin_455.smt2 | unknown | 300.083 |
| lia-lin/chc-LIA-Lin_456.smt2 | unknown | 300.115 |
| lia-lin/chc-LIA-Lin_457.smt2 | unknown | 300.034 |
| lia-lin/chc-LIA-Lin_458.smt2 | unknown | 300.051 |
| lia-lin/chc-LIA-Lin_459.smt2 | unknown | 300.047 |
| lia-lin/chc-LIA-Lin_460.smt2 | unknown | 300.121 |
| lia-lin/chc-LIA-Lin_461.smt2 | sat | 140.404 |
| lia-lin/chc-LIA-Lin_462.smt2 | unknown | 300.034 |
| lia-lin/chc-LIA-Lin_463.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_465.smt2 | unknown | 300.044 |
| lia-lin/chc-LIA-Lin_466.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_467.smt2 | unknown | 300.027 |
| lia-lin/chc-LIA-Lin_468.smt2 | unknown | 300.038 |
| lia-lin/chc-LIA-Lin_469.smt2 | unknown | 300.035 |
| lia-lin/chc-LIA-Lin_470.smt2 | unknown | 300.053 |
| lia-lin/chc-LIA-Lin_471.smt2 | unknown | 300.03 |
| lia-lin/chc-LIA-Lin_472.smt2 | unknown | 300.042 |
| lia-lin/chc-LIA-Lin_473.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_474.smt2 | unknown | 300.104 |
| lia-lin/chc-LIA-Lin_475.smt2 | unsat | 12.3158 |
| lia-lin/chc-LIA-Lin_476.smt2 | unknown | 300.055 |
| lia-lin/chc-LIA-Lin_477.smt2 | unknown | 300.06 |
| lia-lin/chc-LIA-Lin_478.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_479.smt2 | unknown | 300.022 |
| lia-lin/chc-LIA-Lin_480.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_481.smt2 | sat | 219.506 |
| lia-lin/chc-LIA-Lin_482.smt2 | unknown | 300.041 |
| lia-lin/chc-LIA-Lin_483.smt2 | unknown | 300.054 |
| lia-lin/chc-LIA-Lin_484.smt2 | unknown | 300.056 |
| lia-lin/chc-LIA-Lin_485.smt2 | unknown | 300.029 |
| lia-lin/chc-LIA-Lin_486.smt2 | unknown | 300.047 |
| lia-lin/chc-LIA-Lin_487.smt2 | unknown | 300.104 |
| lia-lin/chc-LIA-Lin_488.smt2 | unknown | 300.037 |
| lia-lin/chc-LIA-Lin_489.smt2 | unknown | 300.03 |
| lia-lin/chc-LIA-Lin_491.smt2 | unknown | 300.043 |
| lia-lin/chc-LIA-Lin_492.smt2 | unknown | 300.051 |
| lia-lin/chc-LIA-Lin_493.smt2 | unknown | 300.063 |
| lia-lin/chc-LIA-Lin_494.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_495.smt2 | sat | 201.717 |
| lia-lin/chc-LIA-Lin_496.smt2 | unknown | 300.02 |
| lia-lin/chc-LIA-Lin_497.smt2 | unknown | 300.04 |
| lia-lin/chc-LIA-Lin_498.smt2 | unknown | 300.046 |