| name | result | time |
|---|
| lia-lin-int/chc-LIA-Lin_000.smt2 | sat | 1.13959 |
| lia-lin-int/chc-LIA-Lin_001.smt2 | sat | 1.52305 |
| lia-lin-int/chc-LIA-Lin_002.smt2 | sat | 1.37602 |
| lia-lin-int/chc-LIA-Lin_003.smt2 | sat | 1.1712 |
| lia-lin-int/chc-LIA-Lin_004.smt2 | sat | 1.4062 |
| lia-lin-int/chc-LIA-Lin_005.smt2 | sat | 1.25203 |
| lia-lin-int/chc-LIA-Lin_006.smt2 | unknown | 300.037 |
| lia-lin-int/chc-LIA-Lin_008.smt2 | unknown | 300.084 |
| lia-lin-int/chc-LIA-Lin_009.smt2 | unknown | 300.024 |
| lia-lin-int/chc-LIA-Lin_010.smt2 | unknown | 300.035 |
| lia-lin-int/chc-LIA-Lin_012.smt2 | sat | 1.21655 |
| lia-lin-int/chc-LIA-Lin_013.smt2 | sat | 1.26556 |
| lia-lin-int/chc-LIA-Lin_014.smt2 | sat | 1.27001 |
| lia-lin-int/chc-LIA-Lin_015.smt2 | unknown | 300.049 |
| lia-lin-int/chc-LIA-Lin_016.smt2 | sat | 15.7118 |
| lia-lin-int/chc-LIA-Lin_017.smt2 | sat | 1.35274 |
| lia-lin-int/chc-LIA-Lin_018.smt2 | sat | 1.70678 |
| lia-lin-int/chc-LIA-Lin_019.smt2 | sat | 90.5506 |
| lia-lin-int/chc-LIA-Lin_020.smt2 | sat | 276.603 |
| lia-lin-int/chc-LIA-Lin_021.smt2 | sat | 106.287 |
| lia-lin-int/chc-LIA-Lin_022.smt2 | unknown | 300.053 |
| lia-lin-int/chc-LIA-Lin_023.smt2 | sat | 2.23411 |
| lia-lin-int/chc-LIA-Lin_026.smt2 | sat | 30.4109 |
| lia-lin-int/chc-LIA-Lin_027.smt2 | sat | 4.74912 |
| lia-lin-int/chc-LIA-Lin_029.smt2 | sat | 35.1814 |
| lia-lin-int/chc-LIA-Lin_032.smt2 | unsat | 1.16183 |
| lia-lin-int/chc-LIA-Lin_034.smt2 | unsat | 1.14145 |
| lia-lin-int/chc-LIA-Lin_036.smt2 | unsat | 9.94468 |
| lia-lin-int/chc-LIA-Lin_037.smt2 | unsat | 20.4627 |
| lia-lin-int/chc-LIA-Lin_038.smt2 | unsat | 32.837 |
| lia-lin-int/chc-LIA-Lin_043.smt2 | unknown | 300.051 |
| lia-lin-int/chc-LIA-Lin_044.smt2 | unknown | 300.054 |
| lia-lin-int/chc-LIA-Lin_045.smt2 | unknown | 300.025 |
| lia-lin-int/chc-LIA-Lin_047.smt2 | unknown | 300.101 |
| lia-lin-int/chc-LIA-Lin_050.smt2 | unsat | 1.49301 |
| lia-lin-int/chc-LIA-Lin_052.smt2 | unknown | 300.039 |
| lia-lin-int/chc-LIA-Lin_053.smt2 | unknown | 300.087 |
| lia-lin-int/chc-LIA-Lin_057.smt2 | unknown | 300.026 |
| lia-lin-int/chc-LIA-Lin_059.smt2 | unknown | 300.093 |
| lia-lin-int/chc-LIA-Lin_073.smt2 | unknown | 300.052 |
| lia-lin-int/chc-LIA-Lin_079.smt2 | sat | 1.33709 |
| lia-lin-int/chc-LIA-Lin_080.smt2 | sat | 1.52652 |
| lia-lin-int/chc-LIA-Lin_081.smt2 | sat | 1.36837 |
| lia-lin-int/chc-LIA-Lin_082.smt2 | sat | 1.73559 |
| lia-lin-int/chc-LIA-Lin_083.smt2 | unsat | 1.24719 |
| lia-lin-int/chc-LIA-Lin_084.smt2 | unsat | 1.56258 |
| lia-lin-int/chc-LIA-Lin_085.smt2 | sat | 1.39474 |
| lia-lin-int/chc-LIA-Lin_086.smt2 | unsat | 1.44283 |
| lia-lin-int/chc-LIA-Lin_087.smt2 | sat | 1.77304 |
| lia-lin-int/chc-LIA-Lin_088.smt2 | sat | 2.07104 |
| lia-lin-int/chc-LIA-Lin_089.smt2 | unsat | 15.0788 |
| lia-lin-int/chc-LIA-Lin_090.smt2 | unknown | 300.086 |
| lia-lin-int/chc-LIA-Lin_091.smt2 | unknown | 300.079 |
| lia-lin-int/chc-LIA-Lin_092.smt2 | unsat | 13.5071 |
| lia-lin-int/chc-LIA-Lin_093.smt2 | sat | 1.97699 |
| lia-lin-int/chc-LIA-Lin_094.smt2 | sat | 4.11433 |
| lia-lin-int/chc-LIA-Lin_095.smt2 | sat | 1.94345 |
| lia-lin-int/chc-LIA-Lin_096.smt2 | unsat | 14.554 |
| lia-lin-int/chc-LIA-Lin_097.smt2 | sat | 1.50684 |
| lia-lin-int/chc-LIA-Lin_098.smt2 | sat | 1.70696 |
| lia-lin-int/chc-LIA-Lin_099.smt2 | unknown | 300.042 |
| lia-lin-int/chc-LIA-Lin_100.smt2 | unknown | 300.035 |
| lia-lin-int/chc-LIA-Lin_101.smt2 | sat | 1.83985 |
| lia-lin-int/chc-LIA-Lin_102.smt2 | unknown | 300.088 |
| lia-lin-int/chc-LIA-Lin_103.smt2 | unknown | 203.534 |
| lia-lin-int/chc-LIA-Lin_104.smt2 | unknown | 300.065 |
| lia-lin-int/chc-LIA-Lin_105.smt2 | unknown | 300.081 |
| lia-lin-int/chc-LIA-Lin_106.smt2 | unknown | 300.073 |
| lia-lin-int/chc-LIA-Lin_107.smt2 | sat | 4.66125 |
| lia-lin-int/chc-LIA-Lin_108.smt2 | unknown | 300.032 |
| lia-lin-int/chc-LIA-Lin_109.smt2 | sat | 1.8462 |
| lia-lin-int/chc-LIA-Lin_110.smt2 | sat | 1.31825 |
| lia-lin-int/chc-LIA-Lin_111.smt2 | unsat | 2.46602 |
| lia-lin-int/chc-LIA-Lin_112.smt2 | sat | 1.63373 |
| lia-lin-int/chc-LIA-Lin_113.smt2 | sat | 1.6943 |
| lia-lin-int/chc-LIA-Lin_114.smt2 | sat | 1.68219 |
| lia-lin-int/chc-LIA-Lin_115.smt2 | sat | 1.06968 |
| lia-lin-int/chc-LIA-Lin_116.smt2 | unsat | 1.17924 |
| lia-lin-int/chc-LIA-Lin_117.smt2 | unknown | 300.112 |
| lia-lin-int/chc-LIA-Lin_118.smt2 | sat | 1.23429 |
| lia-lin-int/chc-LIA-Lin_119.smt2 | unsat | 3.42353 |
| lia-lin-int/chc-LIA-Lin_120.smt2 | sat | 0.739311 |
| lia-lin-int/chc-LIA-Lin_121.smt2 | unknown | 300.025 |
| lia-lin-int/chc-LIA-Lin_122.smt2 | sat | 4.62592 |
| lia-lin-int/chc-LIA-Lin_123.smt2 | unsat | 38.5963 |
| lia-lin-int/chc-LIA-Lin_124.smt2 | unknown | 300.094 |
| lia-lin-int/chc-LIA-Lin_125.smt2 | unknown | 300.083 |
| lia-lin-int/chc-LIA-Lin_126.smt2 | unknown | 0.891804 |
| lia-lin-int/chc-LIA-Lin_127.smt2 | unknown | 300.067 |
| lia-lin-int/chc-LIA-Lin_128.smt2 | sat | 3.64491 |
| lia-lin-int/chc-LIA-Lin_129.smt2 | sat | 28.3727 |
| lia-lin-int/chc-LIA-Lin_130.smt2 | unsat | 7.44067 |
| lia-lin-int/chc-LIA-Lin_131.smt2 | sat | 57.9119 |
| lia-lin-int/chc-LIA-Lin_132.smt2 | sat | 13.4878 |
| lia-lin-int/chc-LIA-Lin_133.smt2 | unsat | 6.08398 |
| lia-lin-int/chc-LIA-Lin_134.smt2 | sat | 1.55842 |
| lia-lin-int/chc-LIA-Lin_135.smt2 | unknown | 300.055 |
| lia-lin-int/chc-LIA-Lin_136.smt2 | sat | 53.3723 |
| lia-lin-int/chc-LIA-Lin_137.smt2 | unknown | 300.079 |
| lia-lin-int/chc-LIA-Lin_138.smt2 | unknown | 300.066 |
| lia-lin-int/chc-LIA-Lin_139.smt2 | unknown | 300.054 |
| lia-lin-int/chc-LIA-Lin_140.smt2 | unknown | 300.041 |
| lia-lin-int/chc-LIA-Lin_141.smt2 | unknown | 300.083 |
| lia-lin-int/chc-LIA-Lin_142.smt2 | unknown | 300.044 |
| lia-lin-int/chc-LIA-Lin_143.smt2 | unknown | 300.066 |
| lia-lin-int/chc-LIA-Lin_144.smt2 | unknown | 300.044 |
| lia-lin-int/chc-LIA-Lin_145.smt2 | unknown | 300.046 |
| lia-lin-int/chc-LIA-Lin_146.smt2 | unknown | 300.042 |
| lia-lin-int/chc-LIA-Lin_147.smt2 | sat | 55.4568 |
| lia-lin-int/chc-LIA-Lin_148.smt2 | unknown | 300.036 |
| lia-lin-int/chc-LIA-Lin_149.smt2 | unknown | 300.097 |
| lia-lin-int/chc-LIA-Lin_150.smt2 | unknown | 300.033 |
| lia-lin-int/chc-LIA-Lin_151.smt2 | unknown | 300.037 |
| lia-lin-int/chc-LIA-Lin_152.smt2 | unknown | 300.034 |
| lia-lin-int/chc-LIA-Lin_153.smt2 | unknown | 300.067 |
| lia-lin-int/chc-LIA-Lin_154.smt2 | unknown | 300.061 |
| lia-lin-int/chc-LIA-Lin_155.smt2 | unknown | 300.059 |
| lia-lin-int/chc-LIA-Lin_156.smt2 | sat | 21.2115 |
| lia-lin-int/chc-LIA-Lin_157.smt2 | unknown | 300.115 |
| lia-lin-int/chc-LIA-Lin_158.smt2 | unknown | 300.036 |
| lia-lin-int/chc-LIA-Lin_159.smt2 | unknown | 300.052 |
| lia-lin-int/chc-LIA-Lin_160.smt2 | unknown | 300.035 |
| lia-lin-int/chc-LIA-Lin_161.smt2 | unknown | 300.027 |
| lia-lin-int/chc-LIA-Lin_162.smt2 | sat | 40.6524 |
| lia-lin-int/chc-LIA-Lin_163.smt2 | unknown | 300.067 |
| lia-lin-int/chc-LIA-Lin_164.smt2 | unknown | 300.066 |
| lia-lin-int/chc-LIA-Lin_165.smt2 | unknown | 300.034 |
| lia-lin-int/chc-LIA-Lin_166.smt2 | unknown | 300.043 |
| lia-lin-int/chc-LIA-Lin_167.smt2 | unknown | 300.024 |
| lia-lin-int/chc-LIA-Lin_168.smt2 | unknown | 300.036 |
| lia-lin-int/chc-LIA-Lin_169.smt2 | unknown | 300.058 |
| lia-lin-int/chc-LIA-Lin_260.smt2 | sat | 1.18363 |
| lia-lin-int/chc-LIA-Lin_261.smt2 | unknown | 300.024 |
| lia-lin-int/chc-LIA-Lin_263.smt2 | sat | 1.49135 |
| lia-lin-int/chc-LIA-Lin_265.smt2 | sat | 1.18056 |
| lia-lin-int/chc-LIA-Lin_266.smt2 | unknown | 300.04 |
| lia-lin-int/chc-LIA-Lin_267.smt2 | unknown | 300.023 |
| lia-lin-int/chc-LIA-Lin_269.smt2 | sat | 3.84406 |
| lia-lin-int/chc-LIA-Lin_270.smt2 | sat | 3.56691 |
| lia-lin-int/chc-LIA-Lin_279.smt2 | unknown | 300.046 |
| lia-lin-int/chc-LIA-Lin_280.smt2 | sat | 43.6958 |
| lia-lin-int/chc-LIA-Lin_283.smt2 | unknown | 300.106 |
| lia-lin-int/chc-LIA-Lin_289.smt2 | unknown | 300.096 |
| lia-lin-int/chc-LIA-Lin_290.smt2 | sat | 4.82308 |
| lia-lin-int/chc-LIA-Lin_291.smt2 | sat | 1.35225 |
| lia-lin-int/chc-LIA-Lin_292.smt2 | sat | 1.34186 |
| lia-lin-int/chc-LIA-Lin_293.smt2 | sat | 1.43725 |
| lia-lin-int/chc-LIA-Lin_294.smt2 | sat | 1.65649 |
| lia-lin-int/chc-LIA-Lin_295.smt2 | sat | 1.372 |
| lia-lin-int/chc-LIA-Lin_296.smt2 | unknown | 300.08 |
| lia-lin-int/chc-LIA-Lin_297.smt2 | unsat | 18.0111 |
| lia-lin-int/chc-LIA-Lin_298.smt2 | sat | 4.02373 |
| lia-lin-int/chc-LIA-Lin_299.smt2 | unsat | 17.9964 |
| lia-lin-int/chc-LIA-Lin_300.smt2 | sat | 1.67102 |
| lia-lin-int/chc-LIA-Lin_301.smt2 | sat | 1.75693 |
| lia-lin-int/chc-LIA-Lin_303.smt2 | sat | 4.88174 |
| lia-lin-int/chc-LIA-Lin_304.smt2 | sat | 3.90705 |
| lia-lin-int/chc-LIA-Lin_305.smt2 | sat | 4.91823 |
| lia-lin-int/chc-LIA-Lin_306.smt2 | sat | 0.762286 |
| lia-lin-int/chc-LIA-Lin_307.smt2 | sat | 0.810131 |
| lia-lin-int/chc-LIA-Lin_308.smt2 | sat | 1.17103 |
| lia-lin-int/chc-LIA-Lin_309.smt2 | sat | 0.798379 |
| lia-lin-int/chc-LIA-Lin_310.smt2 | sat | 0.782718 |
| lia-lin-int/chc-LIA-Lin_311.smt2 | sat | 0.693965 |
| lia-lin-int/chc-LIA-Lin_312.smt2 | unknown | 300.068 |
| lia-lin-int/chc-LIA-Lin_313.smt2 | unknown | 0.738481 |
| lia-lin-int/chc-LIA-Lin_314.smt2 | unknown | 0.77107 |
| lia-lin-int/chc-LIA-Lin_315.smt2 | sat | 0.78682 |
| lia-lin-int/chc-LIA-Lin_316.smt2 | unknown | 0.824709 |
| lia-lin-int/chc-LIA-Lin_317.smt2 | sat | 0.812019 |
| lia-lin-int/chc-LIA-Lin_318.smt2 | sat | 1.01249 |
| lia-lin-int/chc-LIA-Lin_409.smt2 | unknown | 0.707509 |
| lia-lin-int/chc-LIA-Lin_410.smt2 | sat | 1.34599 |
| lia-lin-int/chc-LIA-Lin_411.smt2 | unknown | 0.823974 |
| lia-lin-int/chc-LIA-Lin_412.smt2 | sat | 1.3991 |
| lia-lin-int/chc-LIA-Lin_413.smt2 | sat | 1.00042 |
| lia-lin-int/chc-LIA-Lin_414.smt2 | unknown | 0.707592 |
| lia-lin-int/chc-LIA-Lin_415.smt2 | unknown | 0.980903 |
| lia-lin-int/chc-LIA-Lin_416.smt2 | sat | 0.830958 |
| lia-lin-int/chc-LIA-Lin_417.smt2 | sat | 0.737431 |
| lia-lin-int/chc-LIA-Lin_418.smt2 | sat | 1.24087 |
| lia-lin-int/chc-LIA-Lin_419.smt2 | sat | 0.756343 |
| lia-lin-int/chc-LIA-Lin_420.smt2 | sat | 1.23713 |
| lia-lin-int/chc-LIA-Lin_421.smt2 | unknown | 0.717215 |
| lia-lin-int/chc-LIA-Lin_422.smt2 | sat | 1.62333 |
| lia-lin-int/chc-LIA-Lin_423.smt2 | sat | 0.976425 |
| lia-lin-int/chc-LIA-Lin_424.smt2 | sat | 1.49281 |
| lia-lin-int/chc-LIA-Lin_425.smt2 | unknown | 0.855147 |
| lia-lin-int/chc-LIA-Lin_426.smt2 | unknown | 0.895443 |
| lia-lin-int/chc-LIA-Lin_427.smt2 | sat | 1.85118 |
| lia-lin-int/chc-LIA-Lin_428.smt2 | sat | 2.50247 |
| lia-lin-int/chc-LIA-Lin_429.smt2 | sat | 2.95669 |
| lia-lin-int/chc-LIA-Lin_430.smt2 | unknown | 2.9048 |
| lia-lin-int/chc-LIA-Lin_431.smt2 | sat | 4.35789 |
| lia-lin-int/chc-LIA-Lin_434.smt2 | sat | 1.78182 |
| lia-lin-int/chc-LIA-Lin_435.smt2 | sat | 2.85704 |
| lia-lin-int/chc-LIA-Lin_436.smt2 | sat | 1.74478 |
| lia-lin-int/chc-LIA-Lin_437.smt2 | sat | 2.17423 |
| lia-lin-int/chc-LIA-Lin_438.smt2 | sat | 1.92558 |
| lia-lin-int/chc-LIA-Lin_439.smt2 | sat | 1.70616 |
| lia-lin-int/chc-LIA-Lin_440.smt2 | sat | 2.17206 |
| lia-lin-int/chc-LIA-Lin_441.smt2 | unknown | 1.74583 |
| lia-lin-int/chc-LIA-Lin_443.smt2 | sat | 1.52093 |
| lia-lin-int/chc-LIA-Lin_444.smt2 | sat | 2.61222 |
| lia-lin-int/chc-LIA-Lin_445.smt2 | sat | 1.13421 |
| lia-lin-int/chc-LIA-Lin_450.smt2 | sat | 3.75769 |
| lia-lin-int/chc-LIA-Lin_451.smt2 | unknown | 300.047 |
| lia-lin-int/chc-LIA-Lin_461.smt2 | sat | 9.66072 |
| lia-lin-int/chc-LIA-Lin_475.smt2 | unsat | 6.03652 |