| name | result | time |
|---|
| lia-lin-int/chc-LIA-Lin_000.smt2 | unknown | 102.506 |
| lia-lin-int/chc-LIA-Lin_001.smt2 | unknown | 0.0661949 |
| lia-lin-int/chc-LIA-Lin_002.smt2 | unknown | 0.0981329 |
| lia-lin-int/chc-LIA-Lin_003.smt2 | unknown | 0.0635989 |
| lia-lin-int/chc-LIA-Lin_004.smt2 | unknown | 0.099906 |
| lia-lin-int/chc-LIA-Lin_005.smt2 | unknown | 0.105641 |
| lia-lin-int/chc-LIA-Lin_006.smt2 | unknown | 0.442406 |
| lia-lin-int/chc-LIA-Lin_008.smt2 | unknown | 300.029 |
| lia-lin-int/chc-LIA-Lin_009.smt2 | unknown | 0.390635 |
| lia-lin-int/chc-LIA-Lin_010.smt2 | unknown | 0.556615 |
| lia-lin-int/chc-LIA-Lin_012.smt2 | unknown | 300.038 |
| lia-lin-int/chc-LIA-Lin_013.smt2 | unknown | 300.038 |
| lia-lin-int/chc-LIA-Lin_014.smt2 | unknown | 1.02535 |
| lia-lin-int/chc-LIA-Lin_015.smt2 | unknown | 0.616632 |
| lia-lin-int/chc-LIA-Lin_016.smt2 | unknown | 2.33451 |
| lia-lin-int/chc-LIA-Lin_017.smt2 | unknown | 0.095538 |
| lia-lin-int/chc-LIA-Lin_018.smt2 | unknown | 0.095259 |
| lia-lin-int/chc-LIA-Lin_019.smt2 | unknown | 0.262352 |
| lia-lin-int/chc-LIA-Lin_020.smt2 | unknown | 0.575429 |
| lia-lin-int/chc-LIA-Lin_021.smt2 | unknown | 0.0962481 |
| lia-lin-int/chc-LIA-Lin_022.smt2 | unknown | 0.140869 |
| lia-lin-int/chc-LIA-Lin_023.smt2 | unknown | 0.590148 |
| lia-lin-int/chc-LIA-Lin_026.smt2 | unknown | 0.790218 |
| lia-lin-int/chc-LIA-Lin_027.smt2 | unknown | 7.14722 |
| lia-lin-int/chc-LIA-Lin_029.smt2 | unknown | 0.265674 |
| lia-lin-int/chc-LIA-Lin_032.smt2 | unsat | 0.0432799 |
| lia-lin-int/chc-LIA-Lin_034.smt2 | unsat | 0.0431079 |
| lia-lin-int/chc-LIA-Lin_036.smt2 | unknown | 0.198835 |
| lia-lin-int/chc-LIA-Lin_037.smt2 | unsat | 0.0817211 |
| lia-lin-int/chc-LIA-Lin_038.smt2 | unsat | 0.226351 |
| lia-lin-int/chc-LIA-Lin_043.smt2 | unsat | 0.222744 |
| lia-lin-int/chc-LIA-Lin_044.smt2 | unsat | 0.0983231 |
| lia-lin-int/chc-LIA-Lin_045.smt2 | unsat | 0.103596 |
| lia-lin-int/chc-LIA-Lin_047.smt2 | unsat | 0.0788151 |
| lia-lin-int/chc-LIA-Lin_050.smt2 | unsat | 0.0764089 |
| lia-lin-int/chc-LIA-Lin_052.smt2 | unsat | 0.072323 |
| lia-lin-int/chc-LIA-Lin_053.smt2 | unsat | 0.0593661 |
| lia-lin-int/chc-LIA-Lin_057.smt2 | unsat | 0.0945641 |
| lia-lin-int/chc-LIA-Lin_059.smt2 | unsat | 0.0758949 |
| lia-lin-int/chc-LIA-Lin_073.smt2 | unknown | 300.121 |
| lia-lin-int/chc-LIA-Lin_079.smt2 | unknown | 0.993498 |
| lia-lin-int/chc-LIA-Lin_080.smt2 | unknown | 300.03 |
| lia-lin-int/chc-LIA-Lin_081.smt2 | unknown | 0.0799919 |
| lia-lin-int/chc-LIA-Lin_082.smt2 | unknown | 0.378686 |
| lia-lin-int/chc-LIA-Lin_083.smt2 | unsat | 0.064973 |
| lia-lin-int/chc-LIA-Lin_084.smt2 | unsat | 0.0680289 |
| lia-lin-int/chc-LIA-Lin_085.smt2 | unknown | 0.163452 |
| lia-lin-int/chc-LIA-Lin_086.smt2 | unsat | 0.282731 |
| lia-lin-int/chc-LIA-Lin_087.smt2 | unknown | 300.027 |
| lia-lin-int/chc-LIA-Lin_088.smt2 | unknown | 300.063 |
| lia-lin-int/chc-LIA-Lin_089.smt2 | unsat | 0.109679 |
| lia-lin-int/chc-LIA-Lin_090.smt2 | unknown | 0.106533 |
| lia-lin-int/chc-LIA-Lin_091.smt2 | unknown | 0.201832 |
| lia-lin-int/chc-LIA-Lin_092.smt2 | unsat | 0.898791 |
| lia-lin-int/chc-LIA-Lin_093.smt2 | unknown | 3.21298 |
| lia-lin-int/chc-LIA-Lin_094.smt2 | unknown | 0.127596 |
| lia-lin-int/chc-LIA-Lin_095.smt2 | unknown | 1.02794 |
| lia-lin-int/chc-LIA-Lin_096.smt2 | unknown | 34.4458 |
| lia-lin-int/chc-LIA-Lin_097.smt2 | unknown | 0.331221 |
| lia-lin-int/chc-LIA-Lin_098.smt2 | unknown | 0.687551 |
| lia-lin-int/chc-LIA-Lin_099.smt2 | unknown | 1.22694 |
| lia-lin-int/chc-LIA-Lin_100.smt2 | unknown | 0.979088 |
| lia-lin-int/chc-LIA-Lin_101.smt2 | unknown | 0.262503 |
| lia-lin-int/chc-LIA-Lin_102.smt2 | unknown | 54.9573 |
| lia-lin-int/chc-LIA-Lin_103.smt2 | unknown | 0.336517 |
| lia-lin-int/chc-LIA-Lin_104.smt2 | unknown | 0.349168 |
| lia-lin-int/chc-LIA-Lin_105.smt2 | unknown | 1.2198 |
| lia-lin-int/chc-LIA-Lin_106.smt2 | unknown | 22.5848 |
| lia-lin-int/chc-LIA-Lin_107.smt2 | unknown | 0.498449 |
| lia-lin-int/chc-LIA-Lin_108.smt2 | unknown | 1.21766 |
| lia-lin-int/chc-LIA-Lin_109.smt2 | unknown | 0.226163 |
| lia-lin-int/chc-LIA-Lin_110.smt2 | unknown | 0.205734 |
| lia-lin-int/chc-LIA-Lin_111.smt2 | unsat | 0.0792499 |
| lia-lin-int/chc-LIA-Lin_112.smt2 | unknown | 0.284694 |
| lia-lin-int/chc-LIA-Lin_113.smt2 | unknown | 300.028 |
| lia-lin-int/chc-LIA-Lin_114.smt2 | unknown | 300.028 |
| lia-lin-int/chc-LIA-Lin_115.smt2 | unknown | 0.08957 |
| lia-lin-int/chc-LIA-Lin_116.smt2 | unsat | 0.0423119 |
| lia-lin-int/chc-LIA-Lin_117.smt2 | unsat | 0.0392749 |
| lia-lin-int/chc-LIA-Lin_118.smt2 | unknown | 0.0663609 |
| lia-lin-int/chc-LIA-Lin_119.smt2 | unsat | 0.134087 |
| lia-lin-int/chc-LIA-Lin_120.smt2 | unknown | 0.0665131 |
| lia-lin-int/chc-LIA-Lin_121.smt2 | unknown | 0.065972 |
| lia-lin-int/chc-LIA-Lin_122.smt2 | unknown | 300.021 |
| lia-lin-int/chc-LIA-Lin_123.smt2 | unsat | 0.408324 |
| lia-lin-int/chc-LIA-Lin_124.smt2 | unknown | 300.02 |
| lia-lin-int/chc-LIA-Lin_125.smt2 | unknown | 0.0674681 |
| lia-lin-int/chc-LIA-Lin_126.smt2 | unknown | 0.107571 |
| lia-lin-int/chc-LIA-Lin_127.smt2 | unknown | 0.0672539 |
| lia-lin-int/chc-LIA-Lin_128.smt2 | unknown | 0.154822 |
| lia-lin-int/chc-LIA-Lin_129.smt2 | unknown | 300.02 |
| lia-lin-int/chc-LIA-Lin_130.smt2 | unsat | 1.41455 |
| lia-lin-int/chc-LIA-Lin_131.smt2 | unknown | 300.019 |
| lia-lin-int/chc-LIA-Lin_132.smt2 | unknown | 300.02 |
| lia-lin-int/chc-LIA-Lin_133.smt2 | unsat | 2.74781 |
| lia-lin-int/chc-LIA-Lin_134.smt2 | unknown | 0.159331 |
| lia-lin-int/chc-LIA-Lin_135.smt2 | unknown | 90.739 |
| lia-lin-int/chc-LIA-Lin_136.smt2 | unknown | 88.3372 |
| lia-lin-int/chc-LIA-Lin_137.smt2 | unknown | 300.028 |
| lia-lin-int/chc-LIA-Lin_138.smt2 | unknown | 253.183 |
| lia-lin-int/chc-LIA-Lin_139.smt2 | unknown | 300.028 |
| lia-lin-int/chc-LIA-Lin_140.smt2 | unknown | 300.019 |
| lia-lin-int/chc-LIA-Lin_141.smt2 | unknown | 300.032 |
| lia-lin-int/chc-LIA-Lin_142.smt2 | unknown | 300.027 |
| lia-lin-int/chc-LIA-Lin_143.smt2 | unknown | 300.02 |
| lia-lin-int/chc-LIA-Lin_144.smt2 | unknown | 300.019 |
| lia-lin-int/chc-LIA-Lin_145.smt2 | unknown | 300.102 |
| lia-lin-int/chc-LIA-Lin_146.smt2 | unknown | 300.031 |
| lia-lin-int/chc-LIA-Lin_147.smt2 | unknown | 300.12 |
| lia-lin-int/chc-LIA-Lin_148.smt2 | unknown | 300.028 |
| lia-lin-int/chc-LIA-Lin_149.smt2 | unknown | 92.5895 |
| lia-lin-int/chc-LIA-Lin_150.smt2 | unknown | 0.0930051 |
| lia-lin-int/chc-LIA-Lin_151.smt2 | unknown | 300.028 |
| lia-lin-int/chc-LIA-Lin_152.smt2 | unknown | 300.109 |
| lia-lin-int/chc-LIA-Lin_153.smt2 | unknown | 300.117 |
| lia-lin-int/chc-LIA-Lin_154.smt2 | unsat | 0.056981 |
| lia-lin-int/chc-LIA-Lin_155.smt2 | unknown | 116.82 |
| lia-lin-int/chc-LIA-Lin_156.smt2 | unknown | 300.015 |
| lia-lin-int/chc-LIA-Lin_157.smt2 | unknown | 300.027 |
| lia-lin-int/chc-LIA-Lin_158.smt2 | unknown | 300.018 |
| lia-lin-int/chc-LIA-Lin_159.smt2 | unknown | 300.119 |
| lia-lin-int/chc-LIA-Lin_160.smt2 | unknown | 300.107 |
| lia-lin-int/chc-LIA-Lin_161.smt2 | unknown | 300.023 |
| lia-lin-int/chc-LIA-Lin_162.smt2 | unknown | 80.2779 |
| lia-lin-int/chc-LIA-Lin_163.smt2 | unknown | 300.116 |
| lia-lin-int/chc-LIA-Lin_164.smt2 | unknown | 300.118 |
| lia-lin-int/chc-LIA-Lin_165.smt2 | unknown | 300.117 |
| lia-lin-int/chc-LIA-Lin_166.smt2 | unknown | 92.2393 |
| lia-lin-int/chc-LIA-Lin_167.smt2 | unknown | 107.928 |
| lia-lin-int/chc-LIA-Lin_168.smt2 | unknown | 90.8401 |
| lia-lin-int/chc-LIA-Lin_169.smt2 | unknown | 300.118 |
| lia-lin-int/chc-LIA-Lin_260.smt2 | unknown | 0.258519 |
| lia-lin-int/chc-LIA-Lin_261.smt2 | unknown | 0.303259 |
| lia-lin-int/chc-LIA-Lin_263.smt2 | unknown | 0.104276 |
| lia-lin-int/chc-LIA-Lin_265.smt2 | unknown | 0.18279 |
| lia-lin-int/chc-LIA-Lin_266.smt2 | unknown | 0.133758 |
| lia-lin-int/chc-LIA-Lin_267.smt2 | unknown | 0.0981191 |
| lia-lin-int/chc-LIA-Lin_269.smt2 | unknown | 0.191633 |
| lia-lin-int/chc-LIA-Lin_270.smt2 | unknown | 0.80817 |
| lia-lin-int/chc-LIA-Lin_279.smt2 | unknown | 0.142287 |
| lia-lin-int/chc-LIA-Lin_280.smt2 | unknown | 0.842534 |
| lia-lin-int/chc-LIA-Lin_283.smt2 | unknown | 0.101058 |
| lia-lin-int/chc-LIA-Lin_289.smt2 | unknown | 0.261682 |
| lia-lin-int/chc-LIA-Lin_290.smt2 | unknown | 0.0932699 |
| lia-lin-int/chc-LIA-Lin_291.smt2 | unknown | 0.079178 |
| lia-lin-int/chc-LIA-Lin_292.smt2 | unknown | 0.119223 |
| lia-lin-int/chc-LIA-Lin_293.smt2 | unknown | 0.10775 |
| lia-lin-int/chc-LIA-Lin_294.smt2 | unknown | 0.257615 |
| lia-lin-int/chc-LIA-Lin_295.smt2 | unknown | 0.0751261 |
| lia-lin-int/chc-LIA-Lin_296.smt2 | unknown | 2.61782 |
| lia-lin-int/chc-LIA-Lin_297.smt2 | unsat | 0.126116 |
| lia-lin-int/chc-LIA-Lin_298.smt2 | unknown | 0.332153 |
| lia-lin-int/chc-LIA-Lin_299.smt2 | unsat | 0.127307 |
| lia-lin-int/chc-LIA-Lin_300.smt2 | unknown | 0.242509 |
| lia-lin-int/chc-LIA-Lin_301.smt2 | unknown | 0.236309 |
| lia-lin-int/chc-LIA-Lin_303.smt2 | unknown | 0.387204 |
| lia-lin-int/chc-LIA-Lin_304.smt2 | unknown | 0.33329 |
| lia-lin-int/chc-LIA-Lin_305.smt2 | unknown | 0.38953 |
| lia-lin-int/chc-LIA-Lin_306.smt2 | unknown | 0.0513471 |
| lia-lin-int/chc-LIA-Lin_307.smt2 | unknown | 0.433406 |
| lia-lin-int/chc-LIA-Lin_308.smt2 | unknown | 0.166103 |
| lia-lin-int/chc-LIA-Lin_309.smt2 | unknown | 0.368557 |
| lia-lin-int/chc-LIA-Lin_310.smt2 | unknown | 0.055179 |
| lia-lin-int/chc-LIA-Lin_311.smt2 | unknown | 0.0370481 |
| lia-lin-int/chc-LIA-Lin_312.smt2 | unknown | 2.08878 |
| lia-lin-int/chc-LIA-Lin_313.smt2 | unsat | 0.06273 |
| lia-lin-int/chc-LIA-Lin_314.smt2 | unknown | 0.113357 |
| lia-lin-int/chc-LIA-Lin_315.smt2 | unknown | 0.120482 |
| lia-lin-int/chc-LIA-Lin_316.smt2 | unsat | 0.193711 |
| lia-lin-int/chc-LIA-Lin_317.smt2 | unknown | 0.157052 |
| lia-lin-int/chc-LIA-Lin_318.smt2 | unknown | 0.523207 |
| lia-lin-int/chc-LIA-Lin_409.smt2 | unknown | 0.048966 |
| lia-lin-int/chc-LIA-Lin_410.smt2 | unknown | 0.154775 |
| lia-lin-int/chc-LIA-Lin_411.smt2 | unknown | 0.0739629 |
| lia-lin-int/chc-LIA-Lin_412.smt2 | unknown | 0.215051 |
| lia-lin-int/chc-LIA-Lin_413.smt2 | unknown | 0.101156 |
| lia-lin-int/chc-LIA-Lin_414.smt2 | unknown | 0.0452751 |
| lia-lin-int/chc-LIA-Lin_415.smt2 | unknown | 0.0918039 |
| lia-lin-int/chc-LIA-Lin_416.smt2 | unknown | 0.0603879 |
| lia-lin-int/chc-LIA-Lin_417.smt2 | unknown | 0.0414721 |
| lia-lin-int/chc-LIA-Lin_418.smt2 | unknown | 0.197126 |
| lia-lin-int/chc-LIA-Lin_419.smt2 | unknown | 0.0536481 |
| lia-lin-int/chc-LIA-Lin_420.smt2 | unknown | 0.194274 |
| lia-lin-int/chc-LIA-Lin_421.smt2 | unknown | 0.0534329 |
| lia-lin-int/chc-LIA-Lin_422.smt2 | unknown | 0.278743 |
| lia-lin-int/chc-LIA-Lin_423.smt2 | unknown | 0.167575 |
| lia-lin-int/chc-LIA-Lin_424.smt2 | unknown | 0.245486 |
| lia-lin-int/chc-LIA-Lin_425.smt2 | unknown | 0.072404 |
| lia-lin-int/chc-LIA-Lin_426.smt2 | unknown | 0.116372 |
| lia-lin-int/chc-LIA-Lin_427.smt2 | unknown | 0.560725 |
| lia-lin-int/chc-LIA-Lin_428.smt2 | unknown | 1.15731 |
| lia-lin-int/chc-LIA-Lin_429.smt2 | unknown | 1.09538 |
| lia-lin-int/chc-LIA-Lin_430.smt2 | unknown | 1.27358 |
| lia-lin-int/chc-LIA-Lin_431.smt2 | unknown | 2.19246 |
| lia-lin-int/chc-LIA-Lin_434.smt2 | unknown | 0.564518 |
| lia-lin-int/chc-LIA-Lin_435.smt2 | unknown | 1.15375 |
| lia-lin-int/chc-LIA-Lin_436.smt2 | unknown | 0.666465 |
| lia-lin-int/chc-LIA-Lin_437.smt2 | unknown | 0.900901 |
| lia-lin-int/chc-LIA-Lin_438.smt2 | unknown | 0.303601 |
| lia-lin-int/chc-LIA-Lin_439.smt2 | unknown | 0.470485 |
| lia-lin-int/chc-LIA-Lin_440.smt2 | unknown | 0.382635 |
| lia-lin-int/chc-LIA-Lin_441.smt2 | unknown | 0.320711 |
| lia-lin-int/chc-LIA-Lin_443.smt2 | unknown | 0.363566 |
| lia-lin-int/chc-LIA-Lin_444.smt2 | unknown | 0.488336 |
| lia-lin-int/chc-LIA-Lin_445.smt2 | unknown | 0.191504 |
| lia-lin-int/chc-LIA-Lin_450.smt2 | unknown | 300.019 |
| lia-lin-int/chc-LIA-Lin_451.smt2 | unknown | 300.019 |
| lia-lin-int/chc-LIA-Lin_461.smt2 | unknown | 0.465503 |
| lia-lin-int/chc-LIA-Lin_475.smt2 | unknown | 1.38396 |