| name | result | time |
|---|
| lia-lin-int/chc-LIA-Lin_000.smt2 | sat | 0.97863 |
| lia-lin-int/chc-LIA-Lin_001.smt2 | sat | 1.18132 |
| lia-lin-int/chc-LIA-Lin_002.smt2 | sat | 1.58309 |
| lia-lin-int/chc-LIA-Lin_003.smt2 | sat | 1.05845 |
| lia-lin-int/chc-LIA-Lin_004.smt2 | sat | 1.22796 |
| lia-lin-int/chc-LIA-Lin_005.smt2 | sat | 1.54143 |
| lia-lin-int/chc-LIA-Lin_006.smt2 | unknown | 300.029 |
| lia-lin-int/chc-LIA-Lin_008.smt2 | unknown | 300.03 |
| lia-lin-int/chc-LIA-Lin_009.smt2 | unknown | 300.097 |
| lia-lin-int/chc-LIA-Lin_010.smt2 | sat | 286.086 |
| lia-lin-int/chc-LIA-Lin_012.smt2 | sat | 1.34023 |
| lia-lin-int/chc-LIA-Lin_013.smt2 | sat | 1.12576 |
| lia-lin-int/chc-LIA-Lin_014.smt2 | sat | 1.11983 |
| lia-lin-int/chc-LIA-Lin_015.smt2 | unknown | 300.084 |
| lia-lin-int/chc-LIA-Lin_016.smt2 | sat | 16.1238 |
| lia-lin-int/chc-LIA-Lin_017.smt2 | sat | 2.02088 |
| lia-lin-int/chc-LIA-Lin_018.smt2 | sat | 19.0123 |
| lia-lin-int/chc-LIA-Lin_019.smt2 | sat | 92.6415 |
| lia-lin-int/chc-LIA-Lin_020.smt2 | sat | 274.376 |
| lia-lin-int/chc-LIA-Lin_021.smt2 | sat | 21.1577 |
| lia-lin-int/chc-LIA-Lin_022.smt2 | unknown | 300.104 |
| lia-lin-int/chc-LIA-Lin_023.smt2 | sat | 8.31564 |
| lia-lin-int/chc-LIA-Lin_026.smt2 | sat | 30.5358 |
| lia-lin-int/chc-LIA-Lin_027.smt2 | unknown | 300.024 |
| lia-lin-int/chc-LIA-Lin_029.smt2 | sat | 11.6139 |
| lia-lin-int/chc-LIA-Lin_032.smt2 | unsat | 1.11935 |
| lia-lin-int/chc-LIA-Lin_034.smt2 | unsat | 1.19297 |
| lia-lin-int/chc-LIA-Lin_036.smt2 | unsat | 10.0083 |
| lia-lin-int/chc-LIA-Lin_037.smt2 | unsat | 20.4697 |
| lia-lin-int/chc-LIA-Lin_038.smt2 | unsat | 42.9721 |
| lia-lin-int/chc-LIA-Lin_043.smt2 | unknown | 300.043 |
| lia-lin-int/chc-LIA-Lin_044.smt2 | unknown | 300.104 |
| lia-lin-int/chc-LIA-Lin_045.smt2 | unknown | 300.024 |
| lia-lin-int/chc-LIA-Lin_047.smt2 | unknown | 300.045 |
| lia-lin-int/chc-LIA-Lin_050.smt2 | unknown | 300.035 |
| lia-lin-int/chc-LIA-Lin_052.smt2 | unknown | 300.067 |
| lia-lin-int/chc-LIA-Lin_053.smt2 | unknown | 300.03 |
| lia-lin-int/chc-LIA-Lin_057.smt2 | unknown | 300.065 |
| lia-lin-int/chc-LIA-Lin_059.smt2 | unknown | 300.074 |
| lia-lin-int/chc-LIA-Lin_073.smt2 | unknown | 300.047 |
| lia-lin-int/chc-LIA-Lin_079.smt2 | sat | 1.11182 |
| lia-lin-int/chc-LIA-Lin_080.smt2 | sat | 1.28285 |
| lia-lin-int/chc-LIA-Lin_081.smt2 | sat | 1.44427 |
| lia-lin-int/chc-LIA-Lin_082.smt2 | sat | 1.45883 |
| lia-lin-int/chc-LIA-Lin_083.smt2 | unsat | 1.15883 |
| lia-lin-int/chc-LIA-Lin_084.smt2 | unsat | 1.49581 |
| lia-lin-int/chc-LIA-Lin_085.smt2 | sat | 1.56328 |
| lia-lin-int/chc-LIA-Lin_086.smt2 | unsat | 1.30444 |
| lia-lin-int/chc-LIA-Lin_087.smt2 | sat | 1.53669 |
| lia-lin-int/chc-LIA-Lin_088.smt2 | sat | 1.78224 |
| lia-lin-int/chc-LIA-Lin_089.smt2 | unsat | 15.1283 |
| lia-lin-int/chc-LIA-Lin_090.smt2 | unknown | 300.038 |
| lia-lin-int/chc-LIA-Lin_091.smt2 | unknown | 300.059 |
| lia-lin-int/chc-LIA-Lin_092.smt2 | unsat | 13.1568 |
| lia-lin-int/chc-LIA-Lin_093.smt2 | sat | 1.76592 |
| lia-lin-int/chc-LIA-Lin_094.smt2 | sat | 1.74943 |
| lia-lin-int/chc-LIA-Lin_095.smt2 | sat | 1.85668 |
| lia-lin-int/chc-LIA-Lin_096.smt2 | unsat | 14.467 |
| lia-lin-int/chc-LIA-Lin_097.smt2 | sat | 1.38277 |
| lia-lin-int/chc-LIA-Lin_098.smt2 | sat | 1.55588 |
| lia-lin-int/chc-LIA-Lin_099.smt2 | unknown | 300.052 |
| lia-lin-int/chc-LIA-Lin_100.smt2 | unknown | 300.094 |
| lia-lin-int/chc-LIA-Lin_101.smt2 | sat | 6.36238 |
| lia-lin-int/chc-LIA-Lin_102.smt2 | unknown | 300.125 |
| lia-lin-int/chc-LIA-Lin_103.smt2 | unknown | 237.151 |
| lia-lin-int/chc-LIA-Lin_104.smt2 | unknown | 300.077 |
| lia-lin-int/chc-LIA-Lin_105.smt2 | unknown | 300.031 |
| lia-lin-int/chc-LIA-Lin_106.smt2 | unknown | 300.072 |
| lia-lin-int/chc-LIA-Lin_107.smt2 | sat | 18.0902 |
| lia-lin-int/chc-LIA-Lin_108.smt2 | unknown | 300.031 |
| lia-lin-int/chc-LIA-Lin_109.smt2 | sat | 1.83826 |
| lia-lin-int/chc-LIA-Lin_110.smt2 | sat | 1.33464 |
| lia-lin-int/chc-LIA-Lin_111.smt2 | unsat | 2.41045 |
| lia-lin-int/chc-LIA-Lin_112.smt2 | sat | 1.39187 |
| lia-lin-int/chc-LIA-Lin_113.smt2 | sat | 1.40022 |
| lia-lin-int/chc-LIA-Lin_114.smt2 | sat | 1.6081 |
| lia-lin-int/chc-LIA-Lin_115.smt2 | sat | 0.916202 |
| lia-lin-int/chc-LIA-Lin_116.smt2 | unsat | 0.936411 |
| lia-lin-int/chc-LIA-Lin_117.smt2 | unsat | 0.886084 |
| lia-lin-int/chc-LIA-Lin_118.smt2 | sat | 0.939164 |
| lia-lin-int/chc-LIA-Lin_119.smt2 | unsat | 3.33957 |
| lia-lin-int/chc-LIA-Lin_120.smt2 | sat | 0.95885 |
| lia-lin-int/chc-LIA-Lin_121.smt2 | sat | 1.11347 |
| lia-lin-int/chc-LIA-Lin_122.smt2 | sat | 4.76433 |
| lia-lin-int/chc-LIA-Lin_123.smt2 | unsat | 3.25899 |
| lia-lin-int/chc-LIA-Lin_124.smt2 | sat | 292.401 |
| lia-lin-int/chc-LIA-Lin_125.smt2 | unknown | 300.081 |
| lia-lin-int/chc-LIA-Lin_126.smt2 | sat | 13.0897 |
| lia-lin-int/chc-LIA-Lin_127.smt2 | unknown | 300.046 |
| lia-lin-int/chc-LIA-Lin_128.smt2 | sat | 3.57221 |
| lia-lin-int/chc-LIA-Lin_129.smt2 | sat | 29.2941 |
| lia-lin-int/chc-LIA-Lin_130.smt2 | unsat | 7.17225 |
| lia-lin-int/chc-LIA-Lin_131.smt2 | sat | 56.9243 |
| lia-lin-int/chc-LIA-Lin_132.smt2 | sat | 13.5835 |
| lia-lin-int/chc-LIA-Lin_133.smt2 | unsat | 6.5466 |
| lia-lin-int/chc-LIA-Lin_134.smt2 | sat | 1.33118 |
| lia-lin-int/chc-LIA-Lin_135.smt2 | unknown | 300.088 |
| lia-lin-int/chc-LIA-Lin_136.smt2 | sat | 47.0746 |
| lia-lin-int/chc-LIA-Lin_137.smt2 | unknown | 300.071 |
| lia-lin-int/chc-LIA-Lin_138.smt2 | unknown | 300.059 |
| lia-lin-int/chc-LIA-Lin_139.smt2 | unknown | 300.056 |
| lia-lin-int/chc-LIA-Lin_140.smt2 | unknown | 300.067 |
| lia-lin-int/chc-LIA-Lin_141.smt2 | unknown | 300.058 |
| lia-lin-int/chc-LIA-Lin_142.smt2 | unknown | 300.036 |
| lia-lin-int/chc-LIA-Lin_143.smt2 | unknown | 300.06 |
| lia-lin-int/chc-LIA-Lin_144.smt2 | unknown | 300.068 |
| lia-lin-int/chc-LIA-Lin_145.smt2 | unknown | 300.078 |
| lia-lin-int/chc-LIA-Lin_146.smt2 | unknown | 300.09 |
| lia-lin-int/chc-LIA-Lin_147.smt2 | sat | 55.9294 |
| lia-lin-int/chc-LIA-Lin_148.smt2 | unknown | 300.031 |
| lia-lin-int/chc-LIA-Lin_149.smt2 | unknown | 300.108 |
| lia-lin-int/chc-LIA-Lin_150.smt2 | unknown | 300.054 |
| lia-lin-int/chc-LIA-Lin_151.smt2 | unknown | 300.122 |
| lia-lin-int/chc-LIA-Lin_152.smt2 | unknown | 300.074 |
| lia-lin-int/chc-LIA-Lin_153.smt2 | unknown | 300.026 |
| lia-lin-int/chc-LIA-Lin_154.smt2 | unknown | 300.036 |
| lia-lin-int/chc-LIA-Lin_155.smt2 | unknown | 300.033 |
| lia-lin-int/chc-LIA-Lin_156.smt2 | sat | 21.1516 |
| lia-lin-int/chc-LIA-Lin_157.smt2 | unknown | 300.033 |
| lia-lin-int/chc-LIA-Lin_158.smt2 | unknown | 300.036 |
| lia-lin-int/chc-LIA-Lin_159.smt2 | unknown | 300.111 |
| lia-lin-int/chc-LIA-Lin_160.smt2 | unknown | 300.102 |
| lia-lin-int/chc-LIA-Lin_161.smt2 | unknown | 300.067 |
| lia-lin-int/chc-LIA-Lin_162.smt2 | sat | 39.543 |
| lia-lin-int/chc-LIA-Lin_163.smt2 | unknown | 300.03 |
| lia-lin-int/chc-LIA-Lin_164.smt2 | unknown | 300.058 |
| lia-lin-int/chc-LIA-Lin_165.smt2 | unknown | 300.036 |
| lia-lin-int/chc-LIA-Lin_166.smt2 | unknown | 300.037 |
| lia-lin-int/chc-LIA-Lin_167.smt2 | unknown | 300.037 |
| lia-lin-int/chc-LIA-Lin_168.smt2 | unknown | 300.049 |
| lia-lin-int/chc-LIA-Lin_169.smt2 | unknown | 300.041 |
| lia-lin-int/chc-LIA-Lin_260.smt2 | sat | 1.39941 |
| lia-lin-int/chc-LIA-Lin_261.smt2 | sat | 1.17311 |
| lia-lin-int/chc-LIA-Lin_263.smt2 | sat | 1.18808 |
| lia-lin-int/chc-LIA-Lin_265.smt2 | sat | 1.29619 |
| lia-lin-int/chc-LIA-Lin_266.smt2 | sat | 4.40982 |
| lia-lin-int/chc-LIA-Lin_267.smt2 | unknown | 300.106 |
| lia-lin-int/chc-LIA-Lin_269.smt2 | sat | 3.83354 |
| lia-lin-int/chc-LIA-Lin_270.smt2 | sat | 3.68209 |
| lia-lin-int/chc-LIA-Lin_279.smt2 | sat | 3.76376 |
| lia-lin-int/chc-LIA-Lin_280.smt2 | sat | 43.5775 |
| lia-lin-int/chc-LIA-Lin_283.smt2 | unknown | 300.103 |
| lia-lin-int/chc-LIA-Lin_289.smt2 | unknown | 300.09 |
| lia-lin-int/chc-LIA-Lin_290.smt2 | sat | 1.45998 |
| lia-lin-int/chc-LIA-Lin_291.smt2 | sat | 1.37104 |
| lia-lin-int/chc-LIA-Lin_292.smt2 | sat | 1.21133 |
| lia-lin-int/chc-LIA-Lin_293.smt2 | sat | 1.25123 |
| lia-lin-int/chc-LIA-Lin_294.smt2 | sat | 1.38994 |
| lia-lin-int/chc-LIA-Lin_295.smt2 | sat | 1.41515 |
| lia-lin-int/chc-LIA-Lin_296.smt2 | sat | 3.17773 |
| lia-lin-int/chc-LIA-Lin_297.smt2 | unsat | 17.7867 |
| lia-lin-int/chc-LIA-Lin_298.smt2 | sat | 3.71063 |
| lia-lin-int/chc-LIA-Lin_299.smt2 | unsat | 17.8559 |
| lia-lin-int/chc-LIA-Lin_300.smt2 | sat | 1.81047 |
| lia-lin-int/chc-LIA-Lin_301.smt2 | sat | 1.7971 |
| lia-lin-int/chc-LIA-Lin_303.smt2 | sat | 4.77787 |
| lia-lin-int/chc-LIA-Lin_304.smt2 | sat | 3.98861 |
| lia-lin-int/chc-LIA-Lin_305.smt2 | sat | 4.79767 |
| lia-lin-int/chc-LIA-Lin_306.smt2 | sat | 0.750074 |
| lia-lin-int/chc-LIA-Lin_307.smt2 | sat | 0.794168 |
| lia-lin-int/chc-LIA-Lin_308.smt2 | sat | 1.06464 |
| lia-lin-int/chc-LIA-Lin_309.smt2 | sat | 0.793533 |
| lia-lin-int/chc-LIA-Lin_310.smt2 | sat | 0.815101 |
| lia-lin-int/chc-LIA-Lin_311.smt2 | sat | 0.71781 |
| lia-lin-int/chc-LIA-Lin_312.smt2 | unknown | 300.048 |
| lia-lin-int/chc-LIA-Lin_313.smt2 | unsat | 1.03874 |
| lia-lin-int/chc-LIA-Lin_314.smt2 | sat | 1.06758 |
| lia-lin-int/chc-LIA-Lin_315.smt2 | sat | 0.790398 |
| lia-lin-int/chc-LIA-Lin_316.smt2 | unsat | 0.942089 |
| lia-lin-int/chc-LIA-Lin_317.smt2 | sat | 1.09534 |
| lia-lin-int/chc-LIA-Lin_318.smt2 | sat | 1.33912 |
| lia-lin-int/chc-LIA-Lin_409.smt2 | sat | 0.786036 |
| lia-lin-int/chc-LIA-Lin_410.smt2 | sat | 1.29139 |
| lia-lin-int/chc-LIA-Lin_411.smt2 | sat | 0.865531 |
| lia-lin-int/chc-LIA-Lin_412.smt2 | sat | 1.24451 |
| lia-lin-int/chc-LIA-Lin_413.smt2 | sat | 1.36388 |
| lia-lin-int/chc-LIA-Lin_414.smt2 | sat | 0.962249 |
| lia-lin-int/chc-LIA-Lin_415.smt2 | sat | 0.976326 |
| lia-lin-int/chc-LIA-Lin_416.smt2 | sat | 0.797526 |
| lia-lin-int/chc-LIA-Lin_417.smt2 | sat | 0.700407 |
| lia-lin-int/chc-LIA-Lin_418.smt2 | sat | 1.29908 |
| lia-lin-int/chc-LIA-Lin_419.smt2 | sat | 0.770668 |
| lia-lin-int/chc-LIA-Lin_420.smt2 | sat | 1.22749 |
| lia-lin-int/chc-LIA-Lin_421.smt2 | sat | 1.02464 |
| lia-lin-int/chc-LIA-Lin_422.smt2 | sat | 1.80002 |
| lia-lin-int/chc-LIA-Lin_423.smt2 | sat | 0.996633 |
| lia-lin-int/chc-LIA-Lin_424.smt2 | sat | 1.40401 |
| lia-lin-int/chc-LIA-Lin_425.smt2 | sat | 1.1014 |
| lia-lin-int/chc-LIA-Lin_426.smt2 | sat | 0.997341 |
| lia-lin-int/chc-LIA-Lin_427.smt2 | sat | 1.86782 |
| lia-lin-int/chc-LIA-Lin_428.smt2 | sat | 3.04177 |
| lia-lin-int/chc-LIA-Lin_429.smt2 | sat | 3.07633 |
| lia-lin-int/chc-LIA-Lin_430.smt2 | sat | 2.99697 |
| lia-lin-int/chc-LIA-Lin_431.smt2 | sat | 4.36794 |
| lia-lin-int/chc-LIA-Lin_434.smt2 | sat | 1.81794 |
| lia-lin-int/chc-LIA-Lin_435.smt2 | sat | 2.67276 |
| lia-lin-int/chc-LIA-Lin_436.smt2 | sat | 1.92004 |
| lia-lin-int/chc-LIA-Lin_437.smt2 | sat | 2.15999 |
| lia-lin-int/chc-LIA-Lin_438.smt2 | sat | 2.05402 |
| lia-lin-int/chc-LIA-Lin_439.smt2 | sat | 1.74871 |
| lia-lin-int/chc-LIA-Lin_440.smt2 | sat | 2.51571 |
| lia-lin-int/chc-LIA-Lin_441.smt2 | sat | 1.92217 |
| lia-lin-int/chc-LIA-Lin_443.smt2 | sat | 1.58202 |
| lia-lin-int/chc-LIA-Lin_444.smt2 | sat | 2.60061 |
| lia-lin-int/chc-LIA-Lin_445.smt2 | sat | 1.15939 |
| lia-lin-int/chc-LIA-Lin_450.smt2 | sat | 4.08126 |
| lia-lin-int/chc-LIA-Lin_451.smt2 | unknown | 300.062 |
| lia-lin-int/chc-LIA-Lin_461.smt2 | sat | 117.051 |
| lia-lin-int/chc-LIA-Lin_475.smt2 | unsat | 5.24793 |