| name | result | time |
|---|
| lia-lin/chc-LIA-Lin_000.smt2 | sat | 0.046701 |
| lia-lin/chc-LIA-Lin_001.smt2 | unknown | 300.08 |
| lia-lin/chc-LIA-Lin_002.smt2 | sat | 0.027253 |
| lia-lin/chc-LIA-Lin_003.smt2 | unknown | 300.077 |
| lia-lin/chc-LIA-Lin_004.smt2 | unknown | 300.02 |
| lia-lin/chc-LIA-Lin_005.smt2 | sat | 0.0135011 |
| lia-lin/chc-LIA-Lin_006.smt2 | unknown | 300.053 |
| lia-lin/chc-LIA-Lin_008.smt2 | sat | 0.017918 |
| lia-lin/chc-LIA-Lin_009.smt2 | unknown | 0.0107431 |
| lia-lin/chc-LIA-Lin_010.smt2 | unknown | 300.032 |
| lia-lin/chc-LIA-Lin_012.smt2 | sat | 0.0316501 |
| lia-lin/chc-LIA-Lin_013.smt2 | unknown | 300.078 |
| lia-lin/chc-LIA-Lin_014.smt2 | unknown | 300.061 |
| lia-lin/chc-LIA-Lin_015.smt2 | sat | 0.0220459 |
| lia-lin/chc-LIA-Lin_016.smt2 | sat | 0.135719 |
| lia-lin/chc-LIA-Lin_017.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_018.smt2 | sat | 23.491 |
| lia-lin/chc-LIA-Lin_019.smt2 | unknown | 300.023 |
| lia-lin/chc-LIA-Lin_020.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_021.smt2 | sat | 235.06 |
| lia-lin/chc-LIA-Lin_022.smt2 | sat | 0.0350811 |
| lia-lin/chc-LIA-Lin_023.smt2 | sat | 0.316737 |
| lia-lin/chc-LIA-Lin_026.smt2 | sat | 0.0215399 |
| lia-lin/chc-LIA-Lin_027.smt2 | sat | 0.019193 |
| lia-lin/chc-LIA-Lin_029.smt2 | unknown | 300.105 |
| lia-lin/chc-LIA-Lin_032.smt2 | unsat | 0.0200129 |
| lia-lin/chc-LIA-Lin_034.smt2 | unsat | 0.0110439 |
| lia-lin/chc-LIA-Lin_036.smt2 | unknown | 300.026 |
| lia-lin/chc-LIA-Lin_037.smt2 | unsat | 0.083059 |
| lia-lin/chc-LIA-Lin_038.smt2 | unsat | 0.182178 |
| lia-lin/chc-LIA-Lin_043.smt2 | unknown | 300.112 |
| lia-lin/chc-LIA-Lin_044.smt2 | unsat | 9.23615 |
| lia-lin/chc-LIA-Lin_045.smt2 | unknown | 300.018 |
| lia-lin/chc-LIA-Lin_047.smt2 | unknown | 300.022 |
| lia-lin/chc-LIA-Lin_050.smt2 | unsat | 2.46298 |
| lia-lin/chc-LIA-Lin_052.smt2 | unsat | 12.9419 |
| lia-lin/chc-LIA-Lin_053.smt2 | unsat | 18.7114 |
| lia-lin/chc-LIA-Lin_057.smt2 | unsat | 15.5508 |
| lia-lin/chc-LIA-Lin_059.smt2 | unknown | 300.022 |
| lia-lin/chc-LIA-Lin_060.smt2 | unsat | 0.0155979 |
| lia-lin/chc-LIA-Lin_061.smt2 | unsat | 0.0223411 |
| lia-lin/chc-LIA-Lin_062.smt2 | unknown | 0.0116701 |
| lia-lin/chc-LIA-Lin_063.smt2 | unsat | 0.010822 |
| lia-lin/chc-LIA-Lin_064.smt2 | unknown | 0.010408 |
| lia-lin/chc-LIA-Lin_065.smt2 | unsat | 0.080892 |
| lia-lin/chc-LIA-Lin_067.smt2 | unknown | 0.0111099 |
| lia-lin/chc-LIA-Lin_068.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_069.smt2 | unsat | 0.246205 |
| lia-lin/chc-LIA-Lin_071.smt2 | unsat | 0.19852 |
| lia-lin/chc-LIA-Lin_072.smt2 | unsat | 0.0621951 |
| lia-lin/chc-LIA-Lin_073.smt2 | unknown | 0.023992 |
| lia-lin/chc-LIA-Lin_074.smt2 | unknown | 0.013713 |
| lia-lin/chc-LIA-Lin_075.smt2 | unsat | 0.454571 |
| lia-lin/chc-LIA-Lin_076.smt2 | unsat | 2.07418 |
| lia-lin/chc-LIA-Lin_078.smt2 | sat | 0.018575 |
| lia-lin/chc-LIA-Lin_079.smt2 | unknown | 0.0238931 |
| lia-lin/chc-LIA-Lin_080.smt2 | sat | 0.0240969 |
| lia-lin/chc-LIA-Lin_081.smt2 | unknown | 300.017 |
| lia-lin/chc-LIA-Lin_082.smt2 | unknown | 0.015348 |
| lia-lin/chc-LIA-Lin_083.smt2 | unsat | 0.024097 |
| lia-lin/chc-LIA-Lin_084.smt2 | unknown | 0.011704 |
| lia-lin/chc-LIA-Lin_085.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_086.smt2 | unknown | 0.0144671 |
| lia-lin/chc-LIA-Lin_087.smt2 | unknown | 0.036126 |
| lia-lin/chc-LIA-Lin_088.smt2 | unknown | 0.0378719 |
| lia-lin/chc-LIA-Lin_089.smt2 | unsat | 4.98181 |
| lia-lin/chc-LIA-Lin_090.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_091.smt2 | unknown | 0.00986412 |
| lia-lin/chc-LIA-Lin_092.smt2 | unknown | 0.0236539 |
| lia-lin/chc-LIA-Lin_093.smt2 | unknown | 0.128289 |
| lia-lin/chc-LIA-Lin_094.smt2 | sat | 1.28324 |
| lia-lin/chc-LIA-Lin_095.smt2 | sat | 0.027177 |
| lia-lin/chc-LIA-Lin_096.smt2 | unknown | 0.010633 |
| lia-lin/chc-LIA-Lin_097.smt2 | unknown | 0.012661 |
| lia-lin/chc-LIA-Lin_098.smt2 | unknown | 0.110008 |
| lia-lin/chc-LIA-Lin_099.smt2 | unknown | 0.013367 |
| lia-lin/chc-LIA-Lin_100.smt2 | unknown | 300.025 |
| lia-lin/chc-LIA-Lin_101.smt2 | unknown | 0.0119991 |
| lia-lin/chc-LIA-Lin_102.smt2 | unknown | 0.0106369 |
| lia-lin/chc-LIA-Lin_103.smt2 | unknown | 300.084 |
| lia-lin/chc-LIA-Lin_104.smt2 | unknown | 300.032 |
| lia-lin/chc-LIA-Lin_105.smt2 | sat | 0.025536 |
| lia-lin/chc-LIA-Lin_106.smt2 | sat | 2.80826 |
| lia-lin/chc-LIA-Lin_107.smt2 | unknown | 0.0162439 |
| lia-lin/chc-LIA-Lin_108.smt2 | sat | 0.025846 |
| lia-lin/chc-LIA-Lin_109.smt2 | unknown | 0.021523 |
| lia-lin/chc-LIA-Lin_110.smt2 | sat | 0.0154021 |
| lia-lin/chc-LIA-Lin_111.smt2 | unsat | 0.015125 |
| lia-lin/chc-LIA-Lin_112.smt2 | sat | 2.51994 |
| lia-lin/chc-LIA-Lin_113.smt2 | unknown | 0.0356059 |
| lia-lin/chc-LIA-Lin_114.smt2 | unknown | 0.033872 |
| lia-lin/chc-LIA-Lin_115.smt2 | sat | 0.019325 |
| lia-lin/chc-LIA-Lin_116.smt2 | unsat | 0.015228 |
| lia-lin/chc-LIA-Lin_117.smt2 | unsat | 0.010318 |
| lia-lin/chc-LIA-Lin_118.smt2 | sat | 0.01033 |
| lia-lin/chc-LIA-Lin_119.smt2 | unsat | 0.0127279 |
| lia-lin/chc-LIA-Lin_120.smt2 | sat | 0.0207549 |
| lia-lin/chc-LIA-Lin_121.smt2 | sat | 0.0141999 |
| lia-lin/chc-LIA-Lin_122.smt2 | sat | 0.059275 |
| lia-lin/chc-LIA-Lin_123.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_124.smt2 | sat | 0.222147 |
| lia-lin/chc-LIA-Lin_125.smt2 | unknown | 300.055 |
| lia-lin/chc-LIA-Lin_126.smt2 | unknown | 300.028 |
| lia-lin/chc-LIA-Lin_127.smt2 | unknown | 300.06 |
| lia-lin/chc-LIA-Lin_128.smt2 | sat | 0.938914 |
| lia-lin/chc-LIA-Lin_129.smt2 | sat | 0.126433 |
| lia-lin/chc-LIA-Lin_130.smt2 | unknown | 0.094576 |
| lia-lin/chc-LIA-Lin_131.smt2 | sat | 0.150182 |
| lia-lin/chc-LIA-Lin_132.smt2 | sat | 0.0993499 |
| lia-lin/chc-LIA-Lin_133.smt2 | unknown | 0.09955 |
| lia-lin/chc-LIA-Lin_134.smt2 | sat | 0.102924 |
| lia-lin/chc-LIA-Lin_135.smt2 | unknown | 300.045 |
| lia-lin/chc-LIA-Lin_136.smt2 | unknown | 0.128165 |
| lia-lin/chc-LIA-Lin_137.smt2 | unknown | 300.016 |
| lia-lin/chc-LIA-Lin_138.smt2 | unknown | 300.083 |
| lia-lin/chc-LIA-Lin_139.smt2 | unknown | 300.086 |
| lia-lin/chc-LIA-Lin_140.smt2 | unknown | 300.039 |
| lia-lin/chc-LIA-Lin_141.smt2 | unknown | 300.018 |
| lia-lin/chc-LIA-Lin_142.smt2 | unknown | 300.065 |
| lia-lin/chc-LIA-Lin_143.smt2 | unknown | 300.041 |
| lia-lin/chc-LIA-Lin_144.smt2 | unknown | 300.053 |
| lia-lin/chc-LIA-Lin_145.smt2 | unknown | 300.028 |
| lia-lin/chc-LIA-Lin_146.smt2 | unknown | 300.072 |
| lia-lin/chc-LIA-Lin_147.smt2 | unknown | 0.084726 |
| lia-lin/chc-LIA-Lin_148.smt2 | unknown | 300.041 |
| lia-lin/chc-LIA-Lin_149.smt2 | unknown | 300.038 |
| lia-lin/chc-LIA-Lin_150.smt2 | unknown | 300.043 |
| lia-lin/chc-LIA-Lin_151.smt2 | unknown | 300.038 |
| lia-lin/chc-LIA-Lin_152.smt2 | unknown | 300.076 |
| lia-lin/chc-LIA-Lin_153.smt2 | unknown | 300.076 |
| lia-lin/chc-LIA-Lin_154.smt2 | unknown | 300.102 |
| lia-lin/chc-LIA-Lin_155.smt2 | unknown | 300.034 |
| lia-lin/chc-LIA-Lin_156.smt2 | sat | 3.54599 |
| lia-lin/chc-LIA-Lin_157.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_158.smt2 | unknown | 300.038 |
| lia-lin/chc-LIA-Lin_159.smt2 | unknown | 300.043 |
| lia-lin/chc-LIA-Lin_160.smt2 | unknown | 300.046 |
| lia-lin/chc-LIA-Lin_161.smt2 | unknown | 300.018 |
| lia-lin/chc-LIA-Lin_162.smt2 | unknown | 0.0966631 |
| lia-lin/chc-LIA-Lin_163.smt2 | unknown | 300.042 |
| lia-lin/chc-LIA-Lin_164.smt2 | unknown | 300.044 |
| lia-lin/chc-LIA-Lin_165.smt2 | unknown | 300.037 |
| lia-lin/chc-LIA-Lin_166.smt2 | unknown | 300.089 |
| lia-lin/chc-LIA-Lin_167.smt2 | unknown | 300.108 |
| lia-lin/chc-LIA-Lin_168.smt2 | unknown | 300.035 |
| lia-lin/chc-LIA-Lin_169.smt2 | unknown | 300.071 |
| lia-lin/chc-LIA-Lin_170.smt2 | sat | 0.498364 |
| lia-lin/chc-LIA-Lin_171.smt2 | unknown | 300.023 |
| lia-lin/chc-LIA-Lin_172.smt2 | sat | 1.00785 |
| lia-lin/chc-LIA-Lin_173.smt2 | unknown | 300.025 |
| lia-lin/chc-LIA-Lin_174.smt2 | sat | 0.0250509 |
| lia-lin/chc-LIA-Lin_175.smt2 | unsat | 0.012251 |
| lia-lin/chc-LIA-Lin_176.smt2 | sat | 0.0152879 |
| lia-lin/chc-LIA-Lin_177.smt2 | sat | 0.0158401 |
| lia-lin/chc-LIA-Lin_178.smt2 | sat | 0.247209 |
| lia-lin/chc-LIA-Lin_179.smt2 | unknown | 300.077 |
| lia-lin/chc-LIA-Lin_180.smt2 | unknown | 300.033 |
| lia-lin/chc-LIA-Lin_181.smt2 | sat | 1.87972 |
| lia-lin/chc-LIA-Lin_182.smt2 | unknown | 300.074 |
| lia-lin/chc-LIA-Lin_183.smt2 | sat | 0.014136 |
| lia-lin/chc-LIA-Lin_184.smt2 | sat | 0.0184599 |
| lia-lin/chc-LIA-Lin_185.smt2 | unsat | 0.024535 |
| lia-lin/chc-LIA-Lin_186.smt2 | sat | 0.0133479 |
| lia-lin/chc-LIA-Lin_187.smt2 | unsat | 0.0120121 |
| lia-lin/chc-LIA-Lin_188.smt2 | sat | 0.018612 |
| lia-lin/chc-LIA-Lin_189.smt2 | unsat | 0.193733 |
| lia-lin/chc-LIA-Lin_190.smt2 | unknown | 300.04 |
| lia-lin/chc-LIA-Lin_191.smt2 | sat | 0.684347 |
| lia-lin/chc-LIA-Lin_192.smt2 | sat | 0.065648 |
| lia-lin/chc-LIA-Lin_193.smt2 | unknown | 300.083 |
| lia-lin/chc-LIA-Lin_194.smt2 | sat | 174.719 |
| lia-lin/chc-LIA-Lin_195.smt2 | sat | 0.093421 |
| lia-lin/chc-LIA-Lin_196.smt2 | sat | 0.154592 |
| lia-lin/chc-LIA-Lin_197.smt2 | unsat | 0.0201931 |
| lia-lin/chc-LIA-Lin_198.smt2 | unknown | 300.023 |
| lia-lin/chc-LIA-Lin_199.smt2 | unknown | 300.067 |
| lia-lin/chc-LIA-Lin_200.smt2 | unsat | 0.207749 |
| lia-lin/chc-LIA-Lin_201.smt2 | unsat | 0.149861 |
| lia-lin/chc-LIA-Lin_202.smt2 | unknown | 300.045 |
| lia-lin/chc-LIA-Lin_203.smt2 | unknown | 300.1 |
| lia-lin/chc-LIA-Lin_204.smt2 | sat | 0.05513 |
| lia-lin/chc-LIA-Lin_205.smt2 | unknown | 300.02 |
| lia-lin/chc-LIA-Lin_206.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_207.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_208.smt2 | unknown | 300.056 |
| lia-lin/chc-LIA-Lin_209.smt2 | unknown | 300.09 |
| lia-lin/chc-LIA-Lin_210.smt2 | unknown | 300.034 |
| lia-lin/chc-LIA-Lin_211.smt2 | unknown | 300.023 |
| lia-lin/chc-LIA-Lin_212.smt2 | unknown | 300.016 |
| lia-lin/chc-LIA-Lin_213.smt2 | unknown | 300.023 |
| lia-lin/chc-LIA-Lin_214.smt2 | unknown | 300.025 |
| lia-lin/chc-LIA-Lin_215.smt2 | unknown | 300.096 |
| lia-lin/chc-LIA-Lin_216.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_217.smt2 | unknown | 300.05 |
| lia-lin/chc-LIA-Lin_218.smt2 | unknown | 300.045 |
| lia-lin/chc-LIA-Lin_219.smt2 | unknown | 300.021 |
| lia-lin/chc-LIA-Lin_220.smt2 | unknown | 300.022 |
| lia-lin/chc-LIA-Lin_221.smt2 | unknown | 300.023 |
| lia-lin/chc-LIA-Lin_222.smt2 | unknown | 300.054 |
| lia-lin/chc-LIA-Lin_223.smt2 | unknown | 300.081 |
| lia-lin/chc-LIA-Lin_224.smt2 | unknown | 300.08 |
| lia-lin/chc-LIA-Lin_225.smt2 | unknown | 300.021 |
| lia-lin/chc-LIA-Lin_226.smt2 | unknown | 300.025 |
| lia-lin/chc-LIA-Lin_227.smt2 | unknown | 300.018 |
| lia-lin/chc-LIA-Lin_228.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_229.smt2 | unknown | 300.025 |
| lia-lin/chc-LIA-Lin_230.smt2 | unknown | 300.11 |
| lia-lin/chc-LIA-Lin_231.smt2 | unknown | 300.077 |
| lia-lin/chc-LIA-Lin_232.smt2 | unknown | 300.016 |
| lia-lin/chc-LIA-Lin_233.smt2 | unknown | 300.112 |
| lia-lin/chc-LIA-Lin_234.smt2 | unknown | 300.088 |
| lia-lin/chc-LIA-Lin_235.smt2 | unknown | 300.03 |
| lia-lin/chc-LIA-Lin_236.smt2 | unknown | 300.046 |
| lia-lin/chc-LIA-Lin_237.smt2 | unknown | 300.042 |
| lia-lin/chc-LIA-Lin_238.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_239.smt2 | unknown | 300.1 |
| lia-lin/chc-LIA-Lin_240.smt2 | unknown | 300.025 |
| lia-lin/chc-LIA-Lin_241.smt2 | unknown | 300.03 |
| lia-lin/chc-LIA-Lin_242.smt2 | unknown | 300.028 |
| lia-lin/chc-LIA-Lin_243.smt2 | unknown | 300.037 |
| lia-lin/chc-LIA-Lin_244.smt2 | unknown | 300.018 |
| lia-lin/chc-LIA-Lin_245.smt2 | unknown | 300.044 |
| lia-lin/chc-LIA-Lin_246.smt2 | unknown | 300.101 |
| lia-lin/chc-LIA-Lin_247.smt2 | unknown | 300.092 |
| lia-lin/chc-LIA-Lin_248.smt2 | unknown | 300.032 |
| lia-lin/chc-LIA-Lin_249.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_250.smt2 | unknown | 300.106 |
| lia-lin/chc-LIA-Lin_251.smt2 | unknown | 300.075 |
| lia-lin/chc-LIA-Lin_252.smt2 | unknown | 300.016 |
| lia-lin/chc-LIA-Lin_253.smt2 | unknown | 300.117 |
| lia-lin/chc-LIA-Lin_254.smt2 | unknown | 300.115 |
| lia-lin/chc-LIA-Lin_255.smt2 | unknown | 300.075 |
| lia-lin/chc-LIA-Lin_256.smt2 | unknown | 300.016 |
| lia-lin/chc-LIA-Lin_257.smt2 | unknown | 300.014 |
| lia-lin/chc-LIA-Lin_258.smt2 | unknown | 300.038 |
| lia-lin/chc-LIA-Lin_259.smt2 | unknown | 300.056 |
| lia-lin/chc-LIA-Lin_260.smt2 | unknown | 300.058 |
| lia-lin/chc-LIA-Lin_261.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_263.smt2 | sat | 123.062 |
| lia-lin/chc-LIA-Lin_265.smt2 | sat | 0.01758 |
| lia-lin/chc-LIA-Lin_266.smt2 | unknown | 300.031 |
| lia-lin/chc-LIA-Lin_267.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_269.smt2 | unknown | 300.106 |
| lia-lin/chc-LIA-Lin_270.smt2 | unknown | 300.019 |
| lia-lin/chc-LIA-Lin_279.smt2 | unknown | 300.057 |
| lia-lin/chc-LIA-Lin_280.smt2 | unknown | 300.014 |
| lia-lin/chc-LIA-Lin_283.smt2 | unknown | 300.069 |
| lia-lin/chc-LIA-Lin_289.smt2 | unknown | 300.069 |
| lia-lin/chc-LIA-Lin_290.smt2 | sat | 0.953686 |
| lia-lin/chc-LIA-Lin_291.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_292.smt2 | unknown | 300.054 |
| lia-lin/chc-LIA-Lin_293.smt2 | sat | 125.215 |
| lia-lin/chc-LIA-Lin_294.smt2 | unknown | 0.0112551 |
| lia-lin/chc-LIA-Lin_295.smt2 | unknown | 300.115 |
| lia-lin/chc-LIA-Lin_296.smt2 | unknown | 300.103 |
| lia-lin/chc-LIA-Lin_297.smt2 | unknown | 300.026 |
| lia-lin/chc-LIA-Lin_298.smt2 | sat | 51.82 |
| lia-lin/chc-LIA-Lin_299.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_300.smt2 | sat | 4.13045 |
| lia-lin/chc-LIA-Lin_301.smt2 | unknown | 300.023 |
| lia-lin/chc-LIA-Lin_303.smt2 | sat | 0.116766 |
| lia-lin/chc-LIA-Lin_304.smt2 | sat | 0.068125 |
| lia-lin/chc-LIA-Lin_305.smt2 | sat | 0.18889 |
| lia-lin/chc-LIA-Lin_306.smt2 | unknown | 0.020252 |
| lia-lin/chc-LIA-Lin_307.smt2 | sat | 0.0208079 |
| lia-lin/chc-LIA-Lin_308.smt2 | sat | 0.0105469 |
| lia-lin/chc-LIA-Lin_309.smt2 | sat | 0.013554 |
| lia-lin/chc-LIA-Lin_310.smt2 | unknown | 0.0215859 |
| lia-lin/chc-LIA-Lin_311.smt2 | unknown | 0.0103579 |
| lia-lin/chc-LIA-Lin_312.smt2 | unknown | 0.0121921 |
| lia-lin/chc-LIA-Lin_313.smt2 | unknown | 0.011575 |
| lia-lin/chc-LIA-Lin_314.smt2 | unknown | 0.011342 |
| lia-lin/chc-LIA-Lin_315.smt2 | unknown | 0.0203279 |
| lia-lin/chc-LIA-Lin_316.smt2 | unknown | 0.022036 |
| lia-lin/chc-LIA-Lin_317.smt2 | unknown | 0.020232 |
| lia-lin/chc-LIA-Lin_318.smt2 | unknown | 0.0633391 |
| lia-lin/chc-LIA-Lin_319.smt2 | unsat | 0.01077 |
| lia-lin/chc-LIA-Lin_320.smt2 | sat | 0.010259 |
| lia-lin/chc-LIA-Lin_321.smt2 | unsat | 0.0102129 |
| lia-lin/chc-LIA-Lin_322.smt2 | unsat | 0.0103631 |
| lia-lin/chc-LIA-Lin_323.smt2 | sat | 0.0150751 |
| lia-lin/chc-LIA-Lin_324.smt2 | sat | 0.0159499 |
| lia-lin/chc-LIA-Lin_325.smt2 | sat | 0.024916 |
| lia-lin/chc-LIA-Lin_326.smt2 | unsat | 0.0144171 |
| lia-lin/chc-LIA-Lin_327.smt2 | unsat | 0.015991 |
| lia-lin/chc-LIA-Lin_328.smt2 | unsat | 0.0111511 |
| lia-lin/chc-LIA-Lin_329.smt2 | unsat | 0.019378 |
| lia-lin/chc-LIA-Lin_330.smt2 | unsat | 0.0141169 |
| lia-lin/chc-LIA-Lin_331.smt2 | unsat | 0.0129779 |
| lia-lin/chc-LIA-Lin_332.smt2 | unsat | 0.0218579 |
| lia-lin/chc-LIA-Lin_333.smt2 | sat | 0.0207341 |
| lia-lin/chc-LIA-Lin_334.smt2 | unsat | 0.012691 |
| lia-lin/chc-LIA-Lin_335.smt2 | unsat | 0.0105581 |
| lia-lin/chc-LIA-Lin_336.smt2 | unsat | 0.0116119 |
| lia-lin/chc-LIA-Lin_337.smt2 | unsat | 0.142657 |
| lia-lin/chc-LIA-Lin_338.smt2 | sat | 212.573 |
| lia-lin/chc-LIA-Lin_340.smt2 | sat | 269.213 |
| lia-lin/chc-LIA-Lin_341.smt2 | unknown | 300.039 |
| lia-lin/chc-LIA-Lin_343.smt2 | unsat | 3.05306 |
| lia-lin/chc-LIA-Lin_344.smt2 | sat | 299.589 |
| lia-lin/chc-LIA-Lin_345.smt2 | unsat | 2.75501 |
| lia-lin/chc-LIA-Lin_346.smt2 | unsat | 0.378296 |
| lia-lin/chc-LIA-Lin_347.smt2 | unsat | 0.313096 |
| lia-lin/chc-LIA-Lin_348.smt2 | unsat | 0.04333 |
| lia-lin/chc-LIA-Lin_349.smt2 | unsat | 0.105116 |
| lia-lin/chc-LIA-Lin_350.smt2 | sat | 0.0467281 |
| lia-lin/chc-LIA-Lin_352.smt2 | unsat | 2.04822 |
| lia-lin/chc-LIA-Lin_353.smt2 | unsat | 2.66299 |
| lia-lin/chc-LIA-Lin_355.smt2 | unknown | 300.063 |
| lia-lin/chc-LIA-Lin_356.smt2 | unknown | 300.026 |
| lia-lin/chc-LIA-Lin_357.smt2 | unknown | 300.101 |
| lia-lin/chc-LIA-Lin_358.smt2 | unknown | 300.016 |
| lia-lin/chc-LIA-Lin_360.smt2 | unknown | 300.097 |
| lia-lin/chc-LIA-Lin_361.smt2 | unknown | 300.115 |
| lia-lin/chc-LIA-Lin_362.smt2 | unknown | 300.016 |
| lia-lin/chc-LIA-Lin_364.smt2 | unknown | 300.056 |
| lia-lin/chc-LIA-Lin_366.smt2 | unknown | 300.027 |
| lia-lin/chc-LIA-Lin_369.smt2 | unknown | 300.041 |
| lia-lin/chc-LIA-Lin_370.smt2 | unknown | 300.016 |
| lia-lin/chc-LIA-Lin_371.smt2 | unknown | 300.017 |
| lia-lin/chc-LIA-Lin_372.smt2 | unknown | 300.015 |
| lia-lin/chc-LIA-Lin_373.smt2 | unknown | 300.023 |
| lia-lin/chc-LIA-Lin_374.smt2 | unknown | 300.11 |
| lia-lin/chc-LIA-Lin_375.smt2 | unknown | 300.063 |
| lia-lin/chc-LIA-Lin_378.smt2 | unknown | 300.014 |
| lia-lin/chc-LIA-Lin_379.smt2 | sat | 16.2734 |
| lia-lin/chc-LIA-Lin_381.smt2 | unsat | 266.923 |
| lia-lin/chc-LIA-Lin_382.smt2 | unknown | 300.027 |
| lia-lin/chc-LIA-Lin_385.smt2 | unknown | 300.028 |
| lia-lin/chc-LIA-Lin_386.smt2 | unknown | 300.047 |
| lia-lin/chc-LIA-Lin_388.smt2 | unknown | 300.018 |
| lia-lin/chc-LIA-Lin_392.smt2 | unknown | 300.105 |
| lia-lin/chc-LIA-Lin_393.smt2 | unknown | 300.017 |
| lia-lin/chc-LIA-Lin_395.smt2 | unsat | 28.1186 |
| lia-lin/chc-LIA-Lin_396.smt2 | unknown | 300.024 |
| lia-lin/chc-LIA-Lin_397.smt2 | unknown | 300.017 |
| lia-lin/chc-LIA-Lin_401.smt2 | unknown | 300.059 |
| lia-lin/chc-LIA-Lin_402.smt2 | unknown | 300.046 |
| lia-lin/chc-LIA-Lin_405.smt2 | unknown | 300.02 |
| lia-lin/chc-LIA-Lin_406.smt2 | unknown | 300.054 |
| lia-lin/chc-LIA-Lin_408.smt2 | unsat | 21.7938 |
| lia-lin/chc-LIA-Lin_409.smt2 | unknown | 0.0186011 |
| lia-lin/chc-LIA-Lin_410.smt2 | unknown | 0.090299 |
| lia-lin/chc-LIA-Lin_411.smt2 | unknown | 0.0223731 |
| lia-lin/chc-LIA-Lin_412.smt2 | unknown | 0.152052 |
| lia-lin/chc-LIA-Lin_413.smt2 | unknown | 0.0541241 |
| lia-lin/chc-LIA-Lin_414.smt2 | unknown | 0.0264139 |
| lia-lin/chc-LIA-Lin_415.smt2 | unknown | 0.0493919 |
| lia-lin/chc-LIA-Lin_416.smt2 | unknown | 0.025148 |
| lia-lin/chc-LIA-Lin_417.smt2 | unknown | 0.017033 |
| lia-lin/chc-LIA-Lin_418.smt2 | unknown | 0.133382 |
| lia-lin/chc-LIA-Lin_419.smt2 | unknown | 0.0213581 |
| lia-lin/chc-LIA-Lin_420.smt2 | unknown | 0.0601111 |
| lia-lin/chc-LIA-Lin_421.smt2 | unknown | 0.0106321 |
| lia-lin/chc-LIA-Lin_422.smt2 | unknown | 0.0886639 |
| lia-lin/chc-LIA-Lin_423.smt2 | unknown | 0.0481041 |
| lia-lin/chc-LIA-Lin_424.smt2 | unknown | 0.119981 |
| lia-lin/chc-LIA-Lin_425.smt2 | unknown | 0.0258721 |
| lia-lin/chc-LIA-Lin_426.smt2 | unknown | 0.035444 |
| lia-lin/chc-LIA-Lin_427.smt2 | unknown | 0.186406 |
| lia-lin/chc-LIA-Lin_428.smt2 | unknown | 1.15906 |
| lia-lin/chc-LIA-Lin_429.smt2 | unknown | 0.407415 |
| lia-lin/chc-LIA-Lin_430.smt2 | unknown | 0.310605 |
| lia-lin/chc-LIA-Lin_431.smt2 | unknown | 0.734465 |
| lia-lin/chc-LIA-Lin_433.smt2 | unknown | 1.26141 |
| lia-lin/chc-LIA-Lin_434.smt2 | unknown | 0.203225 |
| lia-lin/chc-LIA-Lin_435.smt2 | unknown | 1.15786 |
| lia-lin/chc-LIA-Lin_436.smt2 | unknown | 0.261534 |
| lia-lin/chc-LIA-Lin_437.smt2 | unknown | 0.29274 |
| lia-lin/chc-LIA-Lin_438.smt2 | unknown | 0.238585 |
| lia-lin/chc-LIA-Lin_439.smt2 | unknown | 0.154978 |
| lia-lin/chc-LIA-Lin_440.smt2 | unknown | 0.311743 |
| lia-lin/chc-LIA-Lin_441.smt2 | unknown | 0.318943 |
| lia-lin/chc-LIA-Lin_443.smt2 | unknown | 0.109991 |
| lia-lin/chc-LIA-Lin_444.smt2 | unknown | 0.113267 |
| lia-lin/chc-LIA-Lin_445.smt2 | unknown | 0.0847921 |
| lia-lin/chc-LIA-Lin_446.smt2 | unknown | 1.36205 |
| lia-lin/chc-LIA-Lin_447.smt2 | unknown | 0.901235 |
| lia-lin/chc-LIA-Lin_448.smt2 | unknown | 1.37477 |
| lia-lin/chc-LIA-Lin_449.smt2 | unknown | 1.36505 |
| lia-lin/chc-LIA-Lin_450.smt2 | unknown | 0.299262 |
| lia-lin/chc-LIA-Lin_451.smt2 | unknown | 1.62446 |
| lia-lin/chc-LIA-Lin_452.smt2 | unknown | 0.834032 |
| lia-lin/chc-LIA-Lin_453.smt2 | unknown | 3.22741 |
| lia-lin/chc-LIA-Lin_454.smt2 | unknown | 2.52518 |
| lia-lin/chc-LIA-Lin_455.smt2 | unknown | 3.23769 |
| lia-lin/chc-LIA-Lin_456.smt2 | unknown | 0.972307 |
| lia-lin/chc-LIA-Lin_457.smt2 | unknown | 1.04255 |
| lia-lin/chc-LIA-Lin_458.smt2 | unknown | 2.50134 |
| lia-lin/chc-LIA-Lin_459.smt2 | unknown | 0.983559 |
| lia-lin/chc-LIA-Lin_460.smt2 | unknown | 0.77252 |
| lia-lin/chc-LIA-Lin_461.smt2 | unknown | 300.114 |
| lia-lin/chc-LIA-Lin_462.smt2 | unknown | 1.90214 |
| lia-lin/chc-LIA-Lin_463.smt2 | unknown | 1.34261 |
| lia-lin/chc-LIA-Lin_465.smt2 | unknown | 3.28708 |
| lia-lin/chc-LIA-Lin_466.smt2 | unknown | 0.884147 |
| lia-lin/chc-LIA-Lin_467.smt2 | unknown | 0.652934 |
| lia-lin/chc-LIA-Lin_468.smt2 | unknown | 0.855243 |
| lia-lin/chc-LIA-Lin_469.smt2 | unknown | 1.85449 |
| lia-lin/chc-LIA-Lin_470.smt2 | unknown | 4.30211 |
| lia-lin/chc-LIA-Lin_471.smt2 | unknown | 0.916889 |
| lia-lin/chc-LIA-Lin_472.smt2 | unknown | 3.29265 |
| lia-lin/chc-LIA-Lin_473.smt2 | unknown | 0.853075 |
| lia-lin/chc-LIA-Lin_474.smt2 | unknown | 1.11536 |
| lia-lin/chc-LIA-Lin_475.smt2 | unknown | 0.575797 |
| lia-lin/chc-LIA-Lin_476.smt2 | unknown | 0.737652 |
| lia-lin/chc-LIA-Lin_477.smt2 | unknown | 0.984895 |
| lia-lin/chc-LIA-Lin_478.smt2 | unknown | 1.37667 |
| lia-lin/chc-LIA-Lin_479.smt2 | unknown | 0.883821 |
| lia-lin/chc-LIA-Lin_480.smt2 | unknown | 0.742293 |
| lia-lin/chc-LIA-Lin_481.smt2 | unknown | 1.18115 |
| lia-lin/chc-LIA-Lin_482.smt2 | unknown | 0.734581 |
| lia-lin/chc-LIA-Lin_483.smt2 | unknown | 1.62868 |
| lia-lin/chc-LIA-Lin_484.smt2 | unknown | 0.774286 |
| lia-lin/chc-LIA-Lin_485.smt2 | unknown | 1.36313 |
| lia-lin/chc-LIA-Lin_486.smt2 | unknown | 1.53051 |
| lia-lin/chc-LIA-Lin_487.smt2 | unknown | 0.774663 |
| lia-lin/chc-LIA-Lin_488.smt2 | unknown | 4.28154 |
| lia-lin/chc-LIA-Lin_489.smt2 | unknown | 0.875623 |
| lia-lin/chc-LIA-Lin_491.smt2 | unknown | 2.44529 |
| lia-lin/chc-LIA-Lin_492.smt2 | unknown | 0.542207 |
| lia-lin/chc-LIA-Lin_493.smt2 | unknown | 1.3613 |
| lia-lin/chc-LIA-Lin_494.smt2 | unknown | 1.3061 |
| lia-lin/chc-LIA-Lin_495.smt2 | unknown | 1.08403 |
| lia-lin/chc-LIA-Lin_496.smt2 | unknown | 0.772264 |
| lia-lin/chc-LIA-Lin_497.smt2 | unknown | 0.582284 |
| lia-lin/chc-LIA-Lin_498.smt2 | unknown | 0.69412 |