CHC_Comp_22_LIA_Lin
benchmark nameSwInE Z3SwInE LegacySwInE Z3 no rewritingSwInE Z3 no symmetrySwInE Z3 no monotonicitySwInE Z3 no boundingSwInE Z3 no primeSwInE Z3 no inductionSwInE Z3 no interpolationSwInE Z3 no phasing
chc-LIA-Lin_111.smt2_0.smt2sat (0.436)sat (0.566)sat (0.457)sat (0.479)sat (0.396)sat (0.384)sat (0.399)sat (0.400)sat (0.404)sat (0.438)
chc-LIA-Lin_115.smt2_0.smt2sat (0.445)sat (0.585)sat (0.449)sat (0.465)sat (0.394)sat (0.397)sat (0.404)sat (0.401)unknown (0.404)sat (0.425)
chc-LIA-Lin_119.smt2_0.smt2sat (0.449)sat (0.591)sat (0.443)sat (0.483)sat (0.393)sat (0.374)sat (0.412)sat (0.390)unknown (0.394)sat (0.413)
chc-LIA-Lin_128.smt2_0.smt2unsat (0.436)unsat (0.576)unsat (0.449)unsat (0.479)unsat (0.403)unsat (0.406)unsat (0.409)unsat (0.405)unsat (0.423)unsat (0.447)
chc-LIA-Lin_128.smt2_1.smt2sat (0.437)sat (0.557)sat (0.449)sat (0.466)sat (0.385)sat (0.402)sat (0.456)sat (0.410)unknown (0.440)sat (0.420)
chc-LIA-Lin_170.smt2_0.smt2sat (0.451)sat (0.592)sat (0.406)sat (0.477)sat (0.376)unknown (0.426)sat (0.418)sat (0.382)sat (0.375)sat (0.569)
chc-LIA-Lin_170.smt2_1.smt2unsat (0.451)unsat (0.456)unsat (0.451)unsat (0.436)unsat (0.419)unsat (0.441)unsat (0.464)unsat (0.470)unsat (0.465)unsat (0.438)
chc-LIA-Lin_170.smt2_100.smt2sat (0.457)sat (0.570)sat (0.403)sat (0.499)sat (0.388)unknown (0.440)sat (0.412)sat (0.422)sat (0.436)sat (0.410)
chc-LIA-Lin_170.smt2_101.smt2unsat (0.415)unsat (0.536)unsat (0.399)unsat (0.806)unsat (0.362)unsat (0.383)unsat (0.396)unsat (0.406)unsat (0.397)unsat (0.382)
chc-LIA-Lin_170.smt2_103.smt2sat (0.443)sat (0.589)sat (0.422)sat (0.420)sat (0.382)unknown (0.503)sat (0.465)sat (0.393)sat (0.423)sat (0.439)
chc-LIA-Lin_170.smt2_104.smt2unsat (0.423)unsat (0.462)unsat (0.398)unsat (0.414)unsat (0.365)unsat (0.390)unsat (0.410)unsat (0.406)unsat (0.383)unsat (0.390)
chc-LIA-Lin_170.smt2_105.smt2unsat (0.404)unsat (0.468)unsat (0.388)unsat (0.421)unsat (0.382)unsat (0.404)unsat (0.442)unsat (0.360)unsat (0.378)unsat (0.386)
chc-LIA-Lin_170.smt2_106.smt2unsat (0.467)unsat (0.524)unsat (0.422)unsat (0.399)unsat (0.378)unsat (0.435)unsat (0.433)unsat (0.396)unsat (0.389)unsat (0.402)
chc-LIA-Lin_170.smt2_107.smt2unsat (0.433)unsat (0.496)unsat (0.415)unsat (0.392)unsat (0.382)unsat (0.406)unsat (0.437)unsat (0.426)unsat (0.400)unsat (0.371)
chc-LIA-Lin_170.smt2_108.smt2unsat (0.448)unsat (0.513)unsat (0.415)unsat (0.423)unsat (0.383)unsat (0.476)unsat (0.404)unsat (0.409)unsat (0.360)unsat (0.345)
chc-LIA-Lin_170.smt2_109.smt2unsat (0.432)unsat (0.517)unsat (0.415)unsat (0.446)unsat (0.394)unsat (0.408)unsat (0.429)unsat (0.385)unsat (0.375)unsat (0.370)
chc-LIA-Lin_170.smt2_11.smt2sat (0.443)sat (1.51)sat (0.422)sat (0.423)sat (0.415)unknown (0.469)sat (0.421)sat (0.416)sat (0.414)sat (0.695)
chc-LIA-Lin_170.smt2_110.smt2unsat (0.439)unsat (0.524)unsat (0.422)unsat (0.437)unsat (0.376)unsat (0.412)unsat (0.423)unsat (0.410)unsat (0.396)unsat (0.386)
chc-LIA-Lin_170.smt2_111.smt2unsat (0.438)unsat (0.493)unsat (0.430)unsat (0.463)unsat (0.378)unsat (0.413)unsat (0.403)unsat (0.396)unsat (0.386)unsat (0.417)
chc-LIA-Lin_170.smt2_112.smt2unsat (0.432)unsat (0.502)unsat (0.433)unsat (0.747)unsat (0.413)unsat (0.453)unsat (0.468)unsat (0.494)unsat (0.479)unsat (0.462)
chc-LIA-Lin_170.smt2_113.smt2unsat (0.485)unsat (0.528)unsat (0.471)unsat (0.438)unsat (0.420)unsat (0.455)unsat (0.463)unsat (0.502)unsat (0.461)unsat (0.460)
chc-LIA-Lin_170.smt2_114.smt2unsat (0.465)unsat (0.543)unsat (0.474)unsat (0.452)unsat (0.488)unsat (0.504)unsat (0.485)unsat (0.487)unsat (0.468)unsat (0.429)
chc-LIA-Lin_170.smt2_115.smt2unsat (0.514)unsat (0.503)unsat (0.456)unsat (0.502)unsat (0.375)unsat (0.425)unsat (0.362)unsat (0.355)unsat (0.391)unsat (0.378)
chc-LIA-Lin_170.smt2_116.smt2unsat (0.407)unsat (0.526)unsat (0.384)unsat (0.450)unsat (0.381)unsat (0.430)unsat (0.399)unsat (0.432)unsat (0.402)unsat (0.390)
chc-LIA-Lin_170.smt2_117.smt2unsat (0.450)unsat (0.544)unsat (0.381)unsat (0.465)unsat (0.379)unsat (0.417)unsat (0.396)unsat (0.412)unsat (0.404)unsat (0.369)
chc-LIA-Lin_170.smt2_118.smt2sat (0.441)sat (0.563)sat (0.413)sat (0.431)sat (0.383)unknown (0.455)sat (0.421)sat (0.448)sat (0.421)sat (0.420)
chc-LIA-Lin_170.smt2_119.smt2sat (0.475)sat (0.534)sat (0.438)sat (0.421)sat (0.408)unknown (0.449)sat (0.412)sat (0.428)sat (0.368)sat (0.433)
chc-LIA-Lin_170.smt2_12.smt2sat (0.454)sat (1.994)sat (0.436)sat (0.427)sat (0.439)unknown (0.511)sat (0.410)sat (0.438)sat (0.404)sat (0.375)
chc-LIA-Lin_170.smt2_120.smt2unsat (0.407)unsat (0.443)unsat (0.386)unsat (0.411)unsat (0.406)unsat (0.410)unsat (0.399)unsat (0.432)unsat (0.388)unsat (0.367)
chc-LIA-Lin_170.smt2_121.smt2sat (0.422)sat (0.542)sat (0.414)sat (0.421)sat (0.390)unknown (0.426)sat (0.407)sat (0.426)sat (0.406)sat (1.401)
chc-LIA-Lin_170.smt2_122.smt2unsat (0.446)unsat (0.525)unsat (0.413)unsat (0.413)unsat (0.397)unsat (0.403)unsat (0.430)unsat (0.434)unsat (0.424)unsat (0.421)
chc-LIA-Lin_170.smt2_123.smt2sat (0.436)sat (0.564)sat (0.417)sat (0.426)sat (0.385)unknown (0.454)sat (0.443)sat (0.415)sat (0.429)sat (0.815)
chc-LIA-Lin_170.smt2_124.smt2sat (0.434)sat (0.679)sat (0.413)sat (0.415)sat (0.418)unknown (0.446)sat (0.418)sat (0.430)sat (0.366)sat (0.974)
chc-LIA-Lin_170.smt2_125.smt2unsat (0.431)unsat (0.478)unsat (0.387)unsat (0.412)unsat (0.382)unsat (0.398)unsat (0.444)unsat (0.420)unsat (0.402)unsat (0.401)
chc-LIA-Lin_170.smt2_126.smt2sat (0.442)sat (3.214)sat (0.396)sat (0.432)sat (0.422)unknown (0.443)sat (0.357)sat (0.384)sat (0.371)sat (0.973)
chc-LIA-Lin_170.smt2_127.smt2unsat (0.440)unsat (0.550)unsat (0.416)unsat (0.394)unsat (0.383)unsat (0.390)unsat (0.335)unsat (0.358)unsat (0.348)unsat (0.392)
chc-LIA-Lin_170.smt2_128.smt2sat (0.496)sat (0.556)sat (0.428)sat (0.436)sat (0.432)unknown (0.440)sat (0.425)sat (0.393)sat (0.361)sat (0.434)
chc-LIA-Lin_170.smt2_129.smt2sat (0.449)sat (0.717)sat (0.434)sat (0.425)sat (0.420)unknown (0.441)sat (0.415)sat (0.392)sat (0.415)sat (1.43)
chc-LIA-Lin_170.smt2_13.smt2unsat (0.421)unsat (0.521)unsat (0.566)unsat (0.393)unsat (0.414)unsat (0.411)unsat (0.392)unsat (0.388)unsat (0.428)unsat (0.418)
chc-LIA-Lin_170.smt2_130.smt2unsat (0.426)unsat (0.502)unsat (0.403)unsat (0.408)unsat (0.416)unsat (0.514)unsat (0.397)unsat (0.392)unsat (0.397)unsat (0.375)
chc-LIA-Lin_170.smt2_132.smt2sat (0.468)sat (1.281)sat (0.461)sat (0.427)sat (0.418)unknown (0.489)sat (0.422)sat (0.429)sat (0.415)sat (0.901)
chc-LIA-Lin_170.smt2_133.smt2sat (0.418)sat (0.671)sat (0.485)sat (0.414)sat (0.399)unknown (0.542)sat (0.435)sat (0.429)sat (0.402)sat (1.159)
chc-LIA-Lin_170.smt2_134.smt2unsat (0.421)unsat (0.538)unsat (0.436)unsat (0.394)unsat (0.391)unsat (0.508)unsat (0.387)unsat (0.392)unsat (0.451)unsat (0.371)
chc-LIA-Lin_170.smt2_136.smt2unsat (0.399)unsat (0.517)unsat (0.501)unsat (0.397)unsat (0.390)unsat (0.457)unsat (0.391)unsat (0.442)unsat (0.411)unsat (0.371)
chc-LIA-Lin_170.smt2_137.smt2unsat (0.409)unsat (0.520)unsat (0.415)unsat (0.429)unsat (0.413)unsat (0.414)unsat (0.377)unsat (0.343)unsat (0.411)unsat (0.353)
chc-LIA-Lin_170.smt2_138.smt2sat (0.433)sat (0.659)sat (0.417)sat (0.445)sat (0.446)unknown (0.453)sat (0.405)sat (0.411)sat (0.463)sat (1.309)
chc-LIA-Lin_170.smt2_139.smt2sat (0.439)sat (0.671)sat (0.593)sat (0.422)sat (0.445)unknown (0.495)sat (0.424)sat (0.413)sat (0.421)sat (1.290)
chc-LIA-Lin_170.smt2_140.smt2unsat (0.455)unsat (0.477)unsat (0.421)unsat (0.418)unsat (0.435)unsat (0.435)unsat (0.399)unsat (0.391)unsat (0.380)unsat (0.378)
chc-LIA-Lin_170.smt2_141.smt2sat (0.464)sat (0.721)sat (0.446)sat (0.472)sat (0.469)unknown (0.509)sat (0.405)sat (0.405)sat (0.435)sat (1.373)
chc-LIA-Lin_170.smt2_142.smt2sat (0.449)sat (0.702)sat (0.455)sat (0.475)sat (0.433)unknown (0.487)sat (0.412)sat (0.406)sat (0.388)sat (1.429)
chc-LIA-Lin_170.smt2_143.smt2sat (0.436)sat (0.687)sat (0.455)sat (0.440)sat (0.496)unknown (0.568)sat (0.432)sat (0.459)sat (0.411)sat (1.524)
chc-LIA-Lin_170.smt2_144.smt2unsat (0.422)unsat (0.512)unsat (0.441)unsat (0.466)unsat (0.455)unsat (0.544)unsat (0.479)unsat (0.388)unsat (0.408)unsat (0.456)
chc-LIA-Lin_170.smt2_146.smt2unsat (0.492)unsat (0.504)unsat (0.469)unsat (0.436)unsat (0.472)unsat (0.455)unsat (0.463)unsat (0.401)unsat (0.473)unsat (0.439)
chc-LIA-Lin_170.smt2_147.smt2unsat (0.475)unsat (0.530)unsat (0.454)unsat (0.452)unsat (0.394)unsat (0.364)unsat (0.473)unsat (0.402)unsat (0.452)unsat (0.364)
chc-LIA-Lin_170.smt2_148.smt2unsat (0.478)unsat (0.524)unsat (0.483)unsat (0.444)unsat (0.402)unsat (0.398)unsat (0.384)unsat (0.379)unsat (0.465)unsat (0.380)
chc-LIA-Lin_170.smt2_149.smt2sat (0.468)sat (0.711)sat (0.410)sat (0.450)sat (0.423)unknown (0.397)sat (0.531)sat (0.407)sat (0.408)sat (1.244)
chc-LIA-Lin_170.smt2_15.smt2sat (0.411)sat (2.232)sat (0.408)sat (0.434)sat (0.397)unknown (0.429)sat (0.410)sat (0.490)sat (0.517)sat (0.417)
chc-LIA-Lin_170.smt2_150.smt2unsat (0.430)unsat (0.508)unsat (0.395)unsat (0.483)unsat (0.397)unsat (0.422)unsat (0.412)unsat (0.374)unsat (0.404)unsat (0.376)
chc-LIA-Lin_170.smt2_151.smt2sat (0.414)sat (0.647)sat (0.404)sat (0.501)sat (0.415)unknown (0.406)sat (0.428)sat (0.414)sat (0.411)sat (1.117)
chc-LIA-Lin_170.smt2_152.smt2unsat (0.504)unsat (0.513)unsat (0.384)unsat (0.479)unsat (0.389)unsat (0.402)unsat (0.409)unsat (0.392)unsat (0.413)unsat (0.384)
chc-LIA-Lin_170.smt2_153.smt2unsat (0.391)unsat (0.507)unsat (0.390)unsat (0.405)unsat (0.391)unsat (0.357)unsat (0.398)unsat (0.387)unsat (0.389)unsat (0.373)
chc-LIA-Lin_170.smt2_154.smt2unsat (0.504)unsat (0.509)unsat (0.392)unsat (0.451)unsat (0.393)unsat (0.407)unsat (0.424)unsat (0.403)unsat (0.401)unsat (0.370)
chc-LIA-Lin_170.smt2_156.smt2unsat (0.432)unsat (0.516)unsat (0.388)unsat (0.398)unsat (0.395)unsat (0.411)unsat (0.400)unsat (0.389)unsat (0.396)unsat (0.363)
chc-LIA-Lin_170.smt2_157.smt2unsat (0.411)unsat (0.507)unsat (0.398)unsat (0.387)unsat (0.400)unsat (0.428)unsat (0.407)unsat (0.472)unsat (0.413)unsat (0.393)
chc-LIA-Lin_170.smt2_159.smt2sat (0.456)sat (1.178)sat (0.568)sat (0.410)sat (0.409)unknown (0.453)sat (0.408)sat (0.484)sat (0.428)sat (0.923)
chc-LIA-Lin_170.smt2_16.smt2unsat (0.338)unsat (0.504)unsat (0.326)unsat (0.415)unsat (0.352)unsat (0.390)unsat (0.365)unsat (0.364)unsat (0.370)unsat (0.355)
chc-LIA-Lin_170.smt2_160.smt2sat (0.408)sat (0.560)sat (0.404)sat (0.410)sat (0.411)unknown (0.455)sat (0.405)sat (0.419)sat (0.422)sat (1.556)
chc-LIA-Lin_170.smt2_161.smt2unsat (0.386)unsat (0.504)unsat (0.479)unsat (0.398)unsat (0.386)unsat (0.398)unsat (0.373)unsat (0.378)unsat (0.392)unsat (0.358)
chc-LIA-Lin_170.smt2_162.smt2sat (0.458)sat (1.81)sat (0.438)sat (0.411)sat (0.407)unknown (0.461)sat (0.433)sat (0.411)sat (0.403)sat (1.723)
chc-LIA-Lin_170.smt2_163.smt2unsat (0.428)unsat (0.569)unsat (0.388)unsat (0.423)unsat (0.380)unsat (0.391)unsat (0.396)unsat (0.388)unsat (0.377)unsat (0.357)
chc-LIA-Lin_170.smt2_164.smt2sat (0.441)sat (0.524)sat (0.424)sat (0.437)sat (0.397)unknown (0.465)sat (0.423)sat (0.384)sat (0.400)sat (0.775)
chc-LIA-Lin_170.smt2_165.smt2sat (0.466)sat (0.609)sat (0.424)sat (0.521)sat (0.412)unknown (0.450)sat (0.427)sat (0.386)sat (0.394)sat (0.411)
chc-LIA-Lin_170.smt2_166.smt2unsat (0.402)unsat (0.524)unsat (0.402)unsat (0.400)unsat (0.352)unsat (0.424)unsat (0.361)unsat (0.373)unsat (0.363)unsat (0.344)
chc-LIA-Lin_170.smt2_168.smt2sat (0.377)sat (0.591)sat (0.342)sat (0.435)sat (0.361)unknown (0.455)sat (0.388)sat (0.406)sat (0.388)sat (0.400)
chc-LIA-Lin_170.smt2_17.smt2unsat (0.355)unsat (0.519)unsat (0.362)unsat (0.319)unsat (0.377)unsat (0.397)unsat (0.369)unsat (0.375)unsat (0.376)unsat (0.342)
chc-LIA-Lin_170.smt2_170.smt2sat (0.375)sat (0.527)sat (0.349)sat (0.443)sat (0.353)unknown (0.496)sat (0.401)sat (0.402)sat (0.394)sat (0.414)
chc-LIA-Lin_170.smt2_171.smt2sat (0.373)sat (0.537)sat (0.351)sat (0.423)sat (0.442)unknown (0.542)sat (0.387)sat (0.401)sat (0.392)sat (0.403)
chc-LIA-Lin_170.smt2_172.smt2unsat (0.360)unsat (0.503)unsat (0.328)unsat (0.408)unsat (0.414)unsat (0.471)unsat (0.364)unsat (0.369)unsat (0.382)unsat (0.344)
chc-LIA-Lin_170.smt2_173.smt2sat (0.376)sat (0.591)sat (0.335)sat (0.437)sat (0.435)unknown (0.499)sat (0.390)sat (0.398)sat (0.399)sat (0.400)
chc-LIA-Lin_170.smt2_179.smt2unsat (0.399)unsat (0.516)unsat (0.361)unsat (0.326)unsat (0.407)unsat (0.537)unsat (0.372)unsat (0.360)unsat (0.359)unsat (0.348)
chc-LIA-Lin_170.smt2_18.smt2unsat (0.396)unsat (0.549)unsat (0.385)unsat (0.390)unsat (0.359)unsat (0.385)unsat (0.406)unsat (0.389)unsat (0.402)unsat (0.394)
chc-LIA-Lin_170.smt2_180.smt2sat (0.386)sat (0.541)sat (0.369)sat (0.356)sat (0.432)unknown (0.471)sat (0.388)sat (0.376)sat (0.392)sat (0.471)
chc-LIA-Lin_170.smt2_181.smt2sat (0.466)sat (0.606)sat (0.425)sat (0.429)sat (0.426)unknown (0.434)sat (0.426)sat (0.401)sat (0.398)sat (0.451)
chc-LIA-Lin_170.smt2_182.smt2unsat (0.420)unsat (0.564)unsat (0.408)unsat (0.423)unsat (0.390)unsat (0.385)unsat (0.397)unsat (0.374)unsat (0.367)unsat (0.400)
chc-LIA-Lin_170.smt2_185.smt2sat (0.445)sat (0.598)sat (0.429)sat (0.458)sat (0.411)unknown (0.444)sat (0.429)sat (0.402)sat (0.411)sat (0.437)
chc-LIA-Lin_170.smt2_186.smt2unsat (0.413)unsat (0.442)unsat (0.401)unsat (0.415)unsat (0.395)unsat (0.375)unsat (0.383)unsat (0.388)unsat (0.389)unsat (0.381)
chc-LIA-Lin_170.smt2_187.smt2unsat (0.401)unsat (0.447)unsat (0.409)unsat (0.413)unsat (0.356)unsat (0.395)unsat (0.396)unsat (0.390)unsat (0.400)unsat (0.383)
chc-LIA-Lin_170.smt2_188.smt2unsat (0.392)unsat (0.510)unsat (0.383)unsat (0.409)unsat (0.340)unsat (0.373)unsat (0.403)unsat (0.396)unsat (0.438)unsat (0.382)
chc-LIA-Lin_170.smt2_189.smt2unsat (0.395)unsat (0.494)unsat (0.396)unsat (0.439)unsat (0.350)unsat (0.365)unsat (0.356)unsat (0.388)unsat (0.403)unsat (0.372)
chc-LIA-Lin_170.smt2_19.smt2unsat (0.448)unsat (0.514)unsat (0.439)unsat (0.430)unsat (0.415)unsat (0.440)unsat (0.466)unsat (0.488)unsat (0.448)unsat (0.461)
chc-LIA-Lin_170.smt2_190.smt2unsat (0.416)unsat (0.552)unsat (0.387)unsat (0.392)unsat (0.353)unsat (0.388)unsat (0.402)unsat (0.379)unsat (0.395)unsat (0.405)
chc-LIA-Lin_170.smt2_191.smt2unsat (0.399)unsat (0.533)unsat (0.386)unsat (0.403)unsat (0.348)unsat (0.381)unsat (0.387)unsat (0.395)unsat (0.407)unsat (0.379)
chc-LIA-Lin_170.smt2_192.smt2unsat (0.403)unsat (0.520)unsat (0.398)unsat (0.406)unsat (0.397)unsat (0.431)unsat (0.420)unsat (0.377)unsat (0.390)unsat (0.380)
chc-LIA-Lin_170.smt2_193.smt2unsat (0.428)unsat (0.520)unsat (0.414)unsat (0.404)unsat (0.380)unsat (0.433)unsat (0.408)unsat (0.376)unsat (0.387)unsat (0.373)
chc-LIA-Lin_170.smt2_194.smt2unsat (0.439)unsat (0.494)unsat (0.412)unsat (0.392)unsat (0.385)unsat (0.418)unsat (0.409)unsat (0.402)unsat (0.398)unsat (0.356)
chc-LIA-Lin_170.smt2_195.smt2unsat (0.412)unsat (0.498)unsat (0.422)unsat (0.407)unsat (0.378)unsat (0.406)unsat (0.386)unsat (0.383)unsat (0.382)unsat (0.313)
chc-LIA-Lin_170.smt2_196.smt2unsat (0.430)unsat (0.528)unsat (0.415)unsat (0.431)unsat (0.373)unsat (0.413)unsat (0.415)unsat (0.389)unsat (0.395)unsat (0.381)
chc-LIA-Lin_170.smt2_197.smt2unsat (0.439)unsat (0.506)unsat (0.421)unsat (0.431)unsat (0.373)unsat (0.406)unsat (0.423)unsat (0.403)unsat (0.392)unsat (0.386)
chc-LIA-Lin_170.smt2_198.smt2unsat (0.427)unsat (0.515)unsat (0.415)unsat (0.438)unsat (0.377)unsat (0.427)unsat (0.401)unsat (0.392)unsat (0.409)unsat (0.376)
chc-LIA-Lin_170.smt2_199.smt2unsat (0.420)unsat (0.486)unsat (0.425)unsat (0.457)unsat (0.414)unsat (0.450)unsat (0.460)unsat (0.477)unsat (0.468)unsat (0.452)
chc-LIA-Lin_170.smt2_20.smt2unsat (0.393)unsat (0.517)unsat (0.395)unsat (0.401)unsat (0.350)unsat (0.400)unsat (0.391)unsat (0.406)unsat (0.419)unsat (0.386)
chc-LIA-Lin_170.smt2_200.smt2unsat (0.450)unsat (0.490)unsat (0.451)unsat (0.463)unsat (0.365)unsat (0.386)unsat (0.346)unsat (0.382)unsat (0.373)unsat (0.406)
chc-LIA-Lin_170.smt2_201.smt2unsat (0.370)unsat (0.522)unsat (0.377)unsat (0.459)unsat (0.354)unsat (0.397)unsat (0.395)unsat (0.418)unsat (0.382)unsat (0.383)
chc-LIA-Lin_170.smt2_202.smt2unsat (0.422)unsat (0.506)unsat (0.393)unsat (0.481)unsat (0.365)unsat (0.389)unsat (0.391)unsat (0.421)unsat (0.381)unsat (0.379)
chc-LIA-Lin_170.smt2_203.smt2unsat (0.409)unsat (0.546)unsat (0.385)unsat (0.413)unsat (0.357)unsat (0.412)unsat (0.402)unsat (0.405)unsat (0.404)unsat (0.384)
chc-LIA-Lin_170.smt2_204.smt2unsat (0.389)unsat (0.502)unsat (0.383)unsat (0.407)unsat (0.367)unsat (0.410)unsat (0.400)unsat (0.419)unsat (0.367)unsat (0.388)
chc-LIA-Lin_170.smt2_205.smt2unsat (0.395)unsat (0.477)unsat (0.397)unsat (0.386)unsat (0.365)unsat (0.410)unsat (0.386)unsat (0.390)unsat (0.396)unsat (0.392)
chc-LIA-Lin_170.smt2_206.smt2unsat (0.403)unsat (0.507)unsat (0.381)unsat (0.395)unsat (0.364)unsat (0.389)unsat (0.390)unsat (0.399)unsat (0.380)unsat (0.383)
chc-LIA-Lin_170.smt2_207.smt2unsat (0.393)unsat (0.580)unsat (0.387)unsat (0.372)unsat (0.359)unsat (0.398)unsat (0.400)unsat (0.417)unsat (0.393)unsat (0.381)
chc-LIA-Lin_170.smt2_208.smt2unsat (0.393)unsat (0.611)unsat (0.383)unsat (0.394)unsat (0.365)unsat (0.393)unsat (0.391)unsat (0.407)unsat (0.385)unsat (0.368)
chc-LIA-Lin_170.smt2_209.smt2unsat (0.380)unsat (0.492)unsat (0.385)unsat (0.395)unsat (0.352)unsat (0.395)unsat (0.399)unsat (0.432)unsat (0.385)unsat (0.382)
chc-LIA-Lin_170.smt2_21.smt2sat (0.410)sat (0.527)sat (0.408)sat (0.409)sat (0.401)unknown (0.427)sat (0.427)sat (0.410)sat (0.422)sat (0.420)
chc-LIA-Lin_170.smt2_210.smt2sat (0.413)sat (0.517)sat (0.403)sat (0.403)sat (0.363)unknown (0.455)sat (0.417)sat (0.440)sat (0.425)sat (0.586)
chc-LIA-Lin_170.smt2_211.smt2sat (0.407)sat (0.526)sat (0.396)sat (0.401)sat (0.403)unknown (0.435)sat (0.353)sat (0.396)sat (0.375)sat (0.557)
chc-LIA-Lin_170.smt2_212.smt2unsat (0.435)unsat (0.417)unsat (0.399)unsat (0.405)unsat (0.375)unsat (0.377)unsat (0.322)unsat (0.377)unsat (0.349)unsat (0.361)
chc-LIA-Lin_170.smt2_213.smt2sat (0.427)sat (0.544)sat (0.411)sat (0.415)sat (0.393)unknown (0.448)sat (0.393)sat (0.421)sat (0.359)sat (0.728)
chc-LIA-Lin_170.smt2_214.smt2sat (0.433)sat (0.581)sat (0.450)sat (0.430)sat (0.404)unknown (0.450)sat (0.399)sat (0.434)sat (0.413)sat (0.618)
chc-LIA-Lin_170.smt2_215.smt2sat (0.426)sat (1.863)sat (0.425)sat (0.440)sat (0.394)unknown (0.435)sat (0.396)sat (0.423)sat (0.413)sat (0.452)
chc-LIA-Lin_170.smt2_216.smt2unsat (0.423)unsat (0.662)unsat (0.397)unsat (0.415)unsat (0.396)unsat (0.382)unsat (0.391)unsat (0.391)unsat (0.379)unsat (0.387)
chc-LIA-Lin_170.smt2_217.smt2sat (0.410)sat (2.35)sat (0.415)sat (0.400)sat (0.404)unknown (0.445)sat (0.418)sat (0.411)sat (0.398)sat (0.412)
chc-LIA-Lin_170.smt2_218.smt2sat (0.427)sat (1.917)sat (0.409)sat (0.424)sat (0.407)unknown (0.436)sat (0.393)sat (0.417)sat (0.413)sat (0.678)
chc-LIA-Lin_170.smt2_219.smt2sat (0.405)sat (2.280)sat (0.418)sat (0.425)sat (0.402)unknown (0.435)sat (0.430)sat (0.403)sat (0.420)sat (0.416)
chc-LIA-Lin_170.smt2_22.smt2unsat (0.410)unsat (0.431)unsat (0.418)unsat (0.430)unsat (0.438)unsat (0.449)unsat (0.416)unsat (0.381)unsat (0.390)unsat (0.443)
chc-LIA-Lin_170.smt2_220.smt2unsat (0.384)unsat (0.519)unsat (0.385)unsat (0.397)unsat (0.415)unsat (0.412)unsat (0.371)unsat (0.377)unsat (0.387)unsat (0.365)
chc-LIA-Lin_170.smt2_221.smt2sat (0.438)sat (1.960)sat (0.403)sat (0.409)sat (0.422)unknown (0.450)sat (0.400)sat (0.401)sat (0.411)sat (0.431)
chc-LIA-Lin_170.smt2_223.smt2unsat (0.415)unsat (0.473)unsat (0.426)unsat (0.388)unsat (0.406)unsat (0.409)unsat (0.379)unsat (0.382)unsat (0.393)unsat (0.358)
chc-LIA-Lin_170.smt2_224.smt2sat (0.472)sat (0.792)sat (0.424)sat (0.405)sat (0.434)unknown (0.493)sat (0.431)sat (0.398)sat (0.402)sat (0.405)
chc-LIA-Lin_170.smt2_225.smt2sat (0.433)sat (2.45)sat (0.438)sat (0.419)sat (0.417)unknown (0.483)sat (0.413)sat (0.408)sat (0.408)sat (0.422)
chc-LIA-Lin_170.smt2_226.smt2unsat (0.472)unsat (0.529)unsat (0.426)unsat (0.389)unsat (0.397)unsat (0.423)unsat (0.380)unsat (0.402)unsat (0.389)unsat (0.362)
chc-LIA-Lin_170.smt2_229.smt2sat (0.436)sat (2.135)sat (0.454)sat (0.459)sat (0.434)unknown (0.486)sat (0.401)sat (0.416)sat (0.343)sat (0.427)
chc-LIA-Lin_170.smt2_23.smt2sat (0.411)sat (0.566)sat (0.405)sat (0.407)sat (0.388)unknown (0.396)sat (0.435)sat (0.414)sat (0.408)sat (1.408)
chc-LIA-Lin_170.smt2_231.smt2unsat (0.443)unsat (0.525)unsat (0.408)unsat (0.407)unsat (0.438)unsat (0.453)unsat (0.459)unsat (0.397)unsat (0.402)unsat (0.441)
chc-LIA-Lin_170.smt2_232.smt2sat (0.515)sat (1.42)sat (0.488)sat (0.437)sat (0.496)unknown (0.494)sat (0.478)sat (0.418)sat (0.485)sat (0.511)
chc-LIA-Lin_170.smt2_233.smt2sat (0.507)sat (2.193)sat (0.473)sat (0.430)sat (0.404)unknown (0.404)sat (0.506)sat (0.408)sat (0.479)sat (0.424)
chc-LIA-Lin_170.smt2_234.smt2unsat (0.480)unsat (0.526)unsat (0.468)unsat (0.418)unsat (0.405)unsat (0.382)unsat (0.399)unsat (0.402)unsat (0.468)unsat (0.362)
chc-LIA-Lin_170.smt2_235.smt2sat (0.418)sat (2.240)sat (0.401)sat (0.432)sat (0.404)unknown (0.439)sat (0.413)sat (0.411)sat (0.403)sat (0.435)
chc-LIA-Lin_170.smt2_236.smt2sat (0.420)sat (0.538)sat (0.409)sat (0.485)sat (0.415)unknown (0.486)sat (0.436)sat (0.373)sat (0.431)sat (0.419)
chc-LIA-Lin_170.smt2_237.smt2unsat (0.395)unsat (0.432)unsat (0.378)unsat (0.453)unsat (0.396)unsat (0.361)unsat (0.382)unsat (0.414)unsat (0.396)unsat (0.377)
chc-LIA-Lin_170.smt2_239.smt2sat (0.424)sat (0.539)sat (0.415)sat (0.499)sat (0.417)unknown (0.496)sat (0.418)sat (0.419)sat (0.409)sat (0.423)
chc-LIA-Lin_170.smt2_241.smt2sat (0.432)sat (0.574)sat (0.418)sat (0.422)sat (0.418)sat (0.426)sat (0.415)sat (0.425)sat (0.431)sat (0.421)
chc-LIA-Lin_170.smt2_242.smt2sat (0.432)sat (0.576)sat (0.419)sat (0.430)sat (0.417)unknown (0.478)sat (0.432)sat (0.448)sat (0.412)sat (0.427)
chc-LIA-Lin_170.smt2_243.smt2unsat (0.408)unsat (0.499)unsat (0.382)unsat (0.370)unsat (0.401)unsat (0.400)unsat (0.397)unsat (0.466)unsat (0.406)unsat (0.375)
chc-LIA-Lin_170.smt2_244.smt2sat (0.430)sat (0.565)sat (0.408)sat (0.412)sat (0.412)unknown (0.445)sat (0.426)sat (0.497)sat (0.427)sat (0.434)
chc-LIA-Lin_170.smt2_246.smt2sat (0.398)sat (0.587)sat (0.400)sat (0.402)sat (0.413)unknown (0.422)sat (0.420)sat (0.483)sat (0.417)sat (0.586)
chc-LIA-Lin_170.smt2_247.smt2sat (0.412)sat (0.584)sat (0.406)sat (0.419)sat (0.410)unknown (0.502)sat (0.421)sat (0.394)sat (0.414)sat (0.577)
chc-LIA-Lin_170.smt2_248.smt2unsat (0.389)unsat (0.457)unsat (0.374)unsat (0.383)unsat (0.391)unsat (0.438)unsat (0.391)unsat (0.389)unsat (0.405)unsat (0.341)
chc-LIA-Lin_170.smt2_25.smt2sat (0.423)sat (0.552)sat (0.351)sat (0.432)sat (0.394)unknown (0.487)sat (0.394)sat (0.403)sat (0.384)sat (0.783)
chc-LIA-Lin_170.smt2_250.smt2sat (0.523)sat (0.625)sat (0.447)sat (0.433)sat (0.399)unknown (0.501)sat (0.403)sat (0.401)sat (0.426)sat (0.618)
chc-LIA-Lin_170.smt2_251.smt2sat (0.483)sat (1.823)sat (0.428)sat (0.402)sat (0.396)unknown (0.498)sat (0.413)sat (0.411)sat (0.404)sat (0.433)
chc-LIA-Lin_170.smt2_252.smt2unsat (0.453)unsat (0.470)unsat (0.403)unsat (0.415)unsat (0.362)unsat (0.375)unsat (0.392)unsat (0.364)unsat (0.387)unsat (0.345)
chc-LIA-Lin_170.smt2_254.smt2unsat (0.442)unsat (0.497)unsat (0.410)unsat (0.392)unsat (0.347)unsat (0.391)unsat (0.382)unsat (0.362)unsat (0.387)unsat (0.348)
chc-LIA-Lin_170.smt2_255.smt2unsat (0.504)unsat (0.495)unsat (0.421)unsat (0.398)unsat (0.380)unsat (0.386)unsat (0.373)unsat (0.374)unsat (0.366)unsat (0.348)
chc-LIA-Lin_170.smt2_256.smt2sat (0.396)sat (1.962)sat (0.348)sat (0.447)sat (0.405)unknown (0.458)sat (0.394)sat (0.373)sat (0.392)sat (0.646)
chc-LIA-Lin_170.smt2_257.smt2sat (0.397)sat (1.979)sat (0.356)sat (0.434)sat (0.358)unknown (0.458)sat (0.385)sat (0.387)sat (0.388)sat (0.410)
chc-LIA-Lin_170.smt2_258.smt2unsat (0.385)unsat (0.458)unsat (0.338)unsat (0.384)unsat (0.355)unsat (0.433)unsat (0.371)unsat (0.376)unsat (0.374)unsat (0.346)
chc-LIA-Lin_170.smt2_26.smt2sat (0.439)sat (0.670)sat (0.424)sat (0.461)sat (0.387)unknown (0.462)sat (0.407)sat (0.409)sat (0.410)sat (0.918)
chc-LIA-Lin_170.smt2_260.smt2sat (0.421)sat (0.783)sat (0.334)sat (0.414)sat (0.395)unknown (0.475)sat (0.386)sat (0.397)sat (0.395)sat (0.396)
chc-LIA-Lin_170.smt2_261.smt2sat (0.405)sat (2.74)sat (0.348)sat (0.432)sat (0.413)unknown (0.519)sat (0.399)sat (0.374)sat (0.378)sat (0.409)
chc-LIA-Lin_170.smt2_262.smt2unsat (0.418)unsat (0.516)unsat (0.360)unsat (0.322)unsat (0.366)unsat (0.454)unsat (0.365)unsat (0.379)unsat (0.368)unsat (0.351)
chc-LIA-Lin_170.smt2_264.smt2sat (0.454)sat (1.83)sat (0.384)sat (0.347)sat (0.418)unknown (0.440)sat (0.377)sat (0.397)sat (0.388)sat (0.407)
chc-LIA-Lin_170.smt2_265.smt2sat (0.430)sat (2.133)sat (0.394)sat (0.339)sat (0.389)unknown (0.439)sat (0.393)sat (0.391)sat (0.377)sat (0.471)
chc-LIA-Lin_170.smt2_266.smt2unsat (0.436)unsat (0.581)unsat (0.412)unsat (0.452)unsat (0.399)unsat (0.374)unsat (0.390)unsat (0.396)unsat (0.392)unsat (0.373)
chc-LIA-Lin_170.smt2_267.smt2sat (0.436)sat (2.385)sat (0.413)sat (0.441)sat (0.396)unknown (0.439)sat (0.392)sat (0.406)sat (0.397)sat (0.411)
chc-LIA-Lin_170.smt2_268.smt2unsat (0.426)unsat (0.564)unsat (0.391)unsat (0.456)unsat (0.405)unsat (0.378)unsat (0.390)unsat (0.399)unsat (0.398)unsat (0.369)
chc-LIA-Lin_170.smt2_269.smt2unsat (0.418)unsat (0.537)unsat (0.393)unsat (0.437)unsat (0.386)unsat (0.378)unsat (0.375)unsat (0.395)unsat (0.378)unsat (0.370)
chc-LIA-Lin_170.smt2_27.smt2unsat (0.408)unsat (0.505)unsat (0.411)unsat (0.417)unsat (0.394)unsat (0.451)unsat (0.400)unsat (0.397)unsat (0.396)unsat (0.365)
chc-LIA-Lin_170.smt2_270.smt2unsat (0.432)unsat (0.525)unsat (0.388)unsat (0.475)unsat (0.356)unsat (0.430)unsat (0.397)unsat (0.460)unsat (0.413)unsat (0.392)
chc-LIA-Lin_170.smt2_271.smt2unsat (0.403)unsat (0.520)unsat (0.382)unsat (0.471)unsat (0.373)unsat (0.410)unsat (0.448)unsat (0.392)unsat (0.403)unsat (0.398)
chc-LIA-Lin_170.smt2_272.smt2sat (0.412)sat (2.25)sat (0.388)sat (0.418)sat (0.377)unknown (0.486)sat (0.413)sat (0.422)sat (0.410)sat (0.422)
chc-LIA-Lin_170.smt2_273.smt2unsat (0.401)unsat (0.520)unsat (0.377)unsat (0.387)unsat (0.356)unsat (0.397)unsat (0.395)unsat (0.407)unsat (0.388)unsat (0.385)
chc-LIA-Lin_170.smt2_274.smt2unsat (0.397)unsat (0.514)unsat (0.374)unsat (0.402)unsat (0.354)unsat (0.381)unsat (0.394)unsat (0.393)unsat (0.382)unsat (0.386)
chc-LIA-Lin_170.smt2_275.smt2unsat (0.414)unsat (0.534)unsat (0.379)unsat (0.399)unsat (0.413)unsat (0.406)unsat (0.401)unsat (0.494)unsat (0.393)unsat (0.382)
chc-LIA-Lin_170.smt2_276.smt2unsat (0.444)unsat (0.552)unsat (0.432)unsat (0.401)unsat (0.405)unsat (0.423)unsat (0.419)unsat (0.398)unsat (0.398)unsat (0.369)
chc-LIA-Lin_170.smt2_277.smt2sat (0.476)sat (1.945)sat (0.435)sat (0.434)sat (0.423)unknown (0.505)sat (0.437)sat (0.422)sat (0.408)sat (0.421)
chc-LIA-Lin_170.smt2_278.smt2unsat (0.434)unsat (0.488)unsat (0.409)unsat (0.416)unsat (0.394)unsat (0.403)unsat (0.452)unsat (0.387)unsat (0.427)unsat (0.336)
chc-LIA-Lin_170.smt2_279.smt2unsat (0.453)unsat (0.533)unsat (0.438)unsat (0.440)unsat (0.408)unsat (0.464)unsat (0.423)unsat (0.401)unsat (0.395)unsat (0.377)
chc-LIA-Lin_170.smt2_281.smt2sat (0.446)sat (0.541)sat (0.441)sat (0.436)sat (0.424)unknown (0.483)sat (0.507)sat (0.432)sat (0.419)sat (0.432)
chc-LIA-Lin_170.smt2_282.smt2unsat (0.427)unsat (0.478)unsat (0.434)unsat (0.443)unsat (0.482)unsat (0.476)unsat (0.477)unsat (0.482)unsat (0.474)unsat (0.446)
chc-LIA-Lin_170.smt2_283.smt2sat (0.482)sat (0.588)sat (0.465)sat (0.440)sat (0.499)unknown (0.593)sat (0.487)sat (0.497)sat (0.490)sat (0.507)
chc-LIA-Lin_170.smt2_284.smt2sat (0.490)sat (0.550)sat (0.469)sat (0.457)sat (0.506)unknown (0.513)sat (0.508)sat (0.500)sat (0.499)sat (0.529)
chc-LIA-Lin_170.smt2_285.smt2unsat (0.486)unsat (0.512)unsat (0.463)unsat (0.451)unsat (0.350)unsat (0.378)unsat (0.454)unsat (0.392)unsat (0.389)unsat (0.383)
chc-LIA-Lin_170.smt2_286.smt2sat (0.418)sat (0.771)sat (0.398)sat (0.488)sat (0.359)unknown (0.438)sat (0.407)sat (0.444)sat (0.430)sat (0.904)
chc-LIA-Lin_170.smt2_290.smt2sat (0.418)sat (0.649)sat (0.401)sat (0.480)sat (0.357)unknown (0.447)sat (0.409)sat (0.432)sat (0.418)sat (0.906)
chc-LIA-Lin_170.smt2_291.smt2sat (0.428)sat (0.742)sat (0.407)sat (0.423)sat (0.383)unknown (0.419)sat (0.411)sat (0.414)sat (0.413)sat (0.969)
chc-LIA-Lin_170.smt2_292.smt2unsat (0.408)unsat (0.493)unsat (0.383)unsat (0.401)unsat (0.347)unsat (0.399)unsat (0.383)unsat (0.414)unsat (0.446)unsat (0.387)
chc-LIA-Lin_170.smt2_296.smt2sat (0.444)sat (0.740)sat (0.402)sat (0.400)sat (0.351)unknown (0.439)sat (0.413)sat (0.409)sat (0.418)sat (1.23)
chc-LIA-Lin_170.smt2_297.smt2sat (0.405)sat (0.606)sat (0.394)sat (0.415)sat (0.385)unknown (0.423)sat (0.417)sat (0.413)sat (0.419)sat (1.105)
chc-LIA-Lin_170.smt2_298.smt2sat (0.435)sat (0.719)sat (0.395)sat (0.408)sat (0.368)unknown (0.413)sat (0.422)sat (0.424)sat (0.419)sat (1.79)
chc-LIA-Lin_170.smt2_299.smt2unsat (0.425)unsat (0.502)unsat (0.377)unsat (0.402)unsat (0.356)unsat (0.386)unsat (0.396)unsat (0.401)unsat (0.393)unsat (0.379)
chc-LIA-Lin_170.smt2_3.smt2sat (0.443)sat (0.525)sat (0.460)sat (0.408)sat (0.402)unknown (0.450)sat (0.373)sat (0.403)sat (0.450)sat (0.720)
chc-LIA-Lin_170.smt2_30.smt2sat (0.436)sat (3.235)sat (0.436)sat (0.403)sat (0.393)unknown (0.449)sat (0.342)sat (0.404)sat (0.360)sat (0.960)
chc-LIA-Lin_170.smt2_302.smt2sat (0.444)sat (0.773)sat (0.401)sat (0.419)sat (0.375)unknown (0.435)sat (0.419)sat (0.409)sat (0.414)sat (1.155)
chc-LIA-Lin_170.smt2_304.smt2sat (0.414)sat (0.636)sat (0.400)sat (0.404)sat (0.368)unknown (0.439)sat (0.433)sat (0.428)sat (0.434)sat (1.206)
chc-LIA-Lin_170.smt2_305.smt2sat (0.439)sat (0.736)sat (0.401)sat (0.413)sat (0.356)unknown (0.450)sat (0.426)sat (0.503)sat (0.404)sat (1.230)
chc-LIA-Lin_170.smt2_306.smt2unsat (0.391)unsat (0.485)unsat (0.375)unsat (0.386)unsat (0.397)unsat (0.379)unsat (0.340)unsat (0.375)unsat (0.345)unsat (0.360)
chc-LIA-Lin_170.smt2_31.smt2sat (0.416)sat (0.550)sat (0.417)sat (0.434)sat (0.417)unknown (0.451)sat (0.438)sat (0.411)sat (0.434)sat (0.917)
chc-LIA-Lin_170.smt2_311.smt2sat (0.437)sat (0.591)sat (0.424)sat (0.433)sat (0.413)unknown (0.456)sat (0.424)sat (0.408)sat (0.345)sat (0.439)
chc-LIA-Lin_170.smt2_312.smt2sat (0.434)sat (0.800)sat (0.418)sat (0.423)sat (0.406)unknown (0.447)sat (0.425)sat (0.408)sat (0.396)sat (1.317)
chc-LIA-Lin_170.smt2_313.smt2unsat (0.400)unsat (0.531)unsat (0.411)unsat (0.402)unsat (0.419)unsat (0.371)unsat (0.379)unsat (0.414)unsat (0.383)unsat (0.483)
chc-LIA-Lin_170.smt2_314.smt2sat (0.468)sat (0.787)sat (0.431)sat (0.436)sat (0.453)unknown (0.471)sat (0.417)sat (0.429)sat (0.403)sat (1.375)
chc-LIA-Lin_170.smt2_318.smt2unsat (0.423)unsat (0.472)unsat (0.385)unsat (0.415)unsat (0.376)unsat (0.381)unsat (0.408)unsat (0.388)unsat (0.390)unsat (0.371)
chc-LIA-Lin_170.smt2_319.smt2sat (0.411)sat (0.567)sat (0.399)sat (0.443)sat (0.396)unknown (0.436)sat (0.408)sat (0.404)sat (0.414)sat (0.458)
chc-LIA-Lin_170.smt2_32.smt2sat (0.466)sat (0.652)sat (0.444)sat (0.422)sat (0.480)unknown (0.512)sat (0.486)sat (0.409)sat (0.413)sat (1.119)
chc-LIA-Lin_170.smt2_320.smt2sat (0.443)sat (0.812)sat (0.406)sat (0.424)sat (0.381)unknown (0.443)sat (0.444)sat (0.419)sat (0.430)sat (1.440)
chc-LIA-Lin_170.smt2_321.smt2unsat (0.393)unsat (0.515)unsat (0.400)unsat (0.389)unsat (0.403)unsat (0.417)unsat (0.538)unsat (0.419)unsat (0.418)unsat (0.363)
chc-LIA-Lin_170.smt2_323.smt2unsat (0.407)unsat (0.486)unsat (0.375)unsat (0.378)unsat (0.449)unsat (0.411)unsat (0.510)unsat (0.368)unsat (0.401)unsat (0.355)
chc-LIA-Lin_170.smt2_324.smt2unsat (0.442)unsat (0.498)unsat (0.421)unsat (0.400)unsat (0.435)unsat (0.431)unsat (0.412)unsat (0.410)unsat (0.405)unsat (0.382)
chc-LIA-Lin_170.smt2_325.smt2unsat (0.454)unsat (0.516)unsat (0.428)unsat (0.388)unsat (0.429)unsat (0.403)unsat (0.400)unsat (0.388)unsat (0.387)unsat (0.377)
chc-LIA-Lin_170.smt2_326.smt2sat (0.445)sat (0.724)sat (0.454)sat (0.404)sat (0.442)unknown (0.469)sat (0.413)sat (0.407)sat (0.420)sat (1.249)
chc-LIA-Lin_170.smt2_327.smt2unsat (0.431)unsat (0.510)unsat (0.420)unsat (0.405)unsat (0.428)unsat (0.406)unsat (0.491)unsat (0.399)unsat (0.384)unsat (0.365)
chc-LIA-Lin_170.smt2_328.smt2unsat (0.419)unsat (0.519)unsat (0.436)unsat (0.442)unsat (0.427)unsat (0.420)unsat (0.497)unsat (0.378)unsat (0.571)unsat (0.366)
chc-LIA-Lin_170.smt2_329.smt2unsat (0.430)unsat (0.483)unsat (0.419)unsat (0.432)unsat (0.462)unsat (0.439)unsat (0.412)unsat (0.375)unsat (0.409)unsat (0.431)
chc-LIA-Lin_170.smt2_33.smt2unsat (0.403)unsat (0.500)unsat (0.386)unsat (0.392)unsat (0.368)unsat (0.378)unsat (0.397)unsat (0.399)unsat (0.420)unsat (0.370)
chc-LIA-Lin_170.smt2_330.smt2unsat (0.481)unsat (0.487)unsat (0.461)unsat (0.424)unsat (0.492)unsat (0.430)unsat (0.465)unsat (0.392)unsat (0.466)unsat (0.434)
chc-LIA-Lin_170.smt2_332.smt2unsat (0.483)unsat (0.509)unsat (0.468)unsat (0.421)unsat (0.360)unsat (0.359)unsat (0.484)unsat (0.408)unsat (0.483)unsat (0.379)
chc-LIA-Lin_170.smt2_333.smt2unsat (0.490)unsat (0.502)unsat (0.456)unsat (0.419)unsat (0.375)unsat (0.385)unsat (0.391)unsat (0.402)unsat (0.468)unsat (0.395)
chc-LIA-Lin_170.smt2_334.smt2unsat (0.411)unsat (0.521)unsat (0.400)unsat (0.429)unsat (0.356)unsat (0.381)unsat (0.410)unsat (0.391)unsat (0.389)unsat (0.384)
chc-LIA-Lin_170.smt2_335.smt2unsat (0.422)unsat (0.477)unsat (0.393)unsat (0.473)unsat (0.357)unsat (0.385)unsat (0.409)unsat (0.596)unsat (0.386)unsat (0.376)
chc-LIA-Lin_170.smt2_337.smt2unsat (0.415)unsat (0.451)unsat (0.381)unsat (0.466)unsat (0.376)unsat (0.348)unsat (0.405)unsat (0.389)unsat (0.390)unsat (0.372)
chc-LIA-Lin_170.smt2_338.smt2unsat (0.410)unsat (0.499)unsat (0.385)unsat (0.484)unsat (0.356)unsat (0.380)unsat (0.393)unsat (0.374)unsat (0.395)unsat (0.367)
chc-LIA-Lin_170.smt2_339.smt2unsat (0.406)unsat (0.508)unsat (0.388)unsat (0.405)unsat (0.345)unsat (0.364)unsat (0.409)unsat (0.400)unsat (0.407)unsat (0.372)
chc-LIA-Lin_170.smt2_34.smt2sat (0.491)sat (0.663)sat (0.433)sat (0.402)sat (0.395)unknown (0.442)sat (0.394)sat (0.394)sat (0.396)sat (1.89)
chc-LIA-Lin_170.smt2_340.smt2unsat (0.422)unsat (0.517)unsat (0.401)unsat (0.398)unsat (0.365)unsat (0.394)unsat (0.432)unsat (0.414)unsat (0.393)unsat (0.370)
chc-LIA-Lin_170.smt2_342.smt2unsat (0.404)unsat (0.515)unsat (0.399)unsat (0.392)unsat (0.378)unsat (0.387)unsat (0.411)unsat (0.495)unsat (0.394)unsat (0.383)
chc-LIA-Lin_170.smt2_343.smt2unsat (0.395)unsat (0.588)unsat (0.402)unsat (0.377)unsat (0.363)unsat (0.385)unsat (0.387)unsat (0.472)unsat (0.401)unsat (0.372)
chc-LIA-Lin_170.smt2_344.smt2unsat (0.422)unsat (0.513)unsat (0.392)unsat (0.380)unsat (0.366)unsat (0.358)unsat (0.410)unsat (0.467)unsat (0.403)unsat (0.388)
chc-LIA-Lin_170.smt2_345.smt2unsat (0.397)unsat (0.533)unsat (0.389)unsat (0.405)unsat (0.392)unsat (0.408)unsat (0.369)unsat (0.384)unsat (0.387)unsat (0.375)
chc-LIA-Lin_170.smt2_346.smt2sat (0.415)sat (0.545)sat (0.412)sat (0.406)sat (0.406)unknown (0.480)sat (0.393)sat (0.404)sat (0.415)sat (0.720)
chc-LIA-Lin_170.smt2_347.smt2unsat (0.475)unsat (0.559)unsat (0.429)unsat (0.422)unsat (0.386)unsat (0.432)unsat (0.398)unsat (0.393)unsat (0.385)unsat (0.378)
chc-LIA-Lin_170.smt2_348.smt2sat (0.497)sat (0.540)sat (0.419)sat (0.405)sat (0.395)unknown (0.476)sat (0.407)sat (0.398)sat (0.403)sat (0.563)
chc-LIA-Lin_170.smt2_349.smt2sat (0.502)sat (0.547)sat (0.425)sat (0.410)sat (0.363)unknown (0.542)sat (0.390)sat (0.374)sat (0.405)sat (0.556)
chc-LIA-Lin_170.smt2_35.smt2unsat (0.388)unsat (0.514)unsat (0.364)unsat (0.304)unsat (0.404)unsat (0.369)unsat (0.359)unsat (0.340)unsat (0.349)unsat (0.344)
chc-LIA-Lin_170.smt2_350.smt2unsat (0.468)unsat (0.439)unsat (0.404)unsat (0.407)unsat (0.378)unsat (0.367)unsat (0.359)unsat (0.372)unsat (0.364)unsat (0.351)
chc-LIA-Lin_170.smt2_352.smt2sat (0.394)sat (0.576)sat (0.360)sat (0.436)sat (0.397)unknown (0.433)sat (0.398)sat (0.383)sat (0.387)sat (0.692)
chc-LIA-Lin_170.smt2_353.smt2unsat (0.408)unsat (0.500)unsat (0.351)unsat (0.436)unsat (0.395)unsat (0.395)unsat (0.391)unsat (0.381)unsat (0.364)unsat (0.346)
chc-LIA-Lin_170.smt2_354.smt2sat (0.378)sat (0.515)sat (0.366)sat (0.411)sat (0.408)unknown (0.477)sat (0.385)sat (0.388)sat (0.399)sat (0.396)
chc-LIA-Lin_170.smt2_355.smt2sat (0.413)sat (0.567)sat (0.350)sat (0.545)sat (0.390)unknown (0.463)sat (0.392)sat (0.375)sat (0.400)sat (0.597)
chc-LIA-Lin_170.smt2_356.smt2sat (0.393)sat (1.814)sat (0.347)sat (0.413)sat (0.393)unknown (0.456)sat (0.382)sat (0.382)sat (0.394)sat (0.397)
chc-LIA-Lin_170.smt2_357.smt2unsat (0.378)unsat (0.524)unsat (0.349)unsat (0.420)unsat (0.371)unsat (0.433)unsat (0.365)unsat (0.365)unsat (0.357)unsat (0.347)
chc-LIA-Lin_170.smt2_358.smt2sat (0.421)sat (2.137)sat (0.373)sat (0.327)sat (0.405)unknown (0.503)sat (0.372)sat (0.381)sat (0.377)sat (0.394)
chc-LIA-Lin_170.smt2_36.smt2unsat (0.396)unsat (0.546)unsat (0.392)unsat (0.391)unsat (0.409)unsat (0.411)unsat (0.404)unsat (0.378)unsat (0.389)unsat (0.362)
chc-LIA-Lin_170.smt2_360.smt2unsat (0.410)unsat (0.470)unsat (0.376)unsat (0.328)unsat (0.369)unsat (0.385)unsat (0.379)unsat (0.366)unsat (0.375)unsat (0.424)
chc-LIA-Lin_170.smt2_361.smt2unsat (0.412)unsat (0.561)unsat (0.425)unsat (0.445)unsat (0.384)unsat (0.391)unsat (0.399)unsat (0.377)unsat (0.388)unsat (0.362)
chc-LIA-Lin_170.smt2_362.smt2sat (0.440)sat (2.218)sat (0.445)sat (0.461)sat (0.406)unknown (0.537)sat (0.406)sat (0.404)sat (0.411)sat (0.659)
chc-LIA-Lin_170.smt2_363.smt2sat (0.420)sat (2.204)sat (0.430)sat (0.486)sat (0.402)unknown (0.449)sat (0.409)sat (0.407)sat (0.412)sat (0.404)
chc-LIA-Lin_170.smt2_364.smt2unsat (0.423)unsat (0.523)unsat (0.415)unsat (0.422)unsat (0.387)unsat (0.379)unsat (0.387)unsat (0.385)unsat (0.395)unsat (0.364)
chc-LIA-Lin_170.smt2_366.smt2sat (0.425)sat (2.234)sat (0.429)sat (0.444)sat (0.421)unknown (0.495)sat (0.409)sat (0.426)sat (0.416)sat (0.404)
chc-LIA-Lin_170.smt2_368.smt2unsat (0.400)unsat (0.530)unsat (0.384)unsat (0.426)unsat (0.419)unsat (0.413)unsat (0.402)unsat (0.383)unsat (0.402)unsat (0.368)
chc-LIA-Lin_170.smt2_369.smt2unsat (0.425)unsat (0.517)unsat (0.383)unsat (0.441)unsat (0.480)unsat (0.410)unsat (0.384)unsat (0.382)unsat (0.393)unsat (0.397)
chc-LIA-Lin_170.smt2_37.smt2unsat (0.435)unsat (0.511)unsat (0.410)unsat (0.436)unsat (0.460)unsat (0.431)unsat (0.419)unsat (0.404)unsat (0.397)unsat (0.359)
chc-LIA-Lin_170.smt2_370.smt2unsat (0.406)unsat (0.535)unsat (0.400)unsat (0.388)unsat (0.384)unsat (0.399)unsat (0.393)unsat (0.366)unsat (0.398)unsat (0.370)
chc-LIA-Lin_170.smt2_371.smt2sat (0.432)sat (0.790)sat (0.395)sat (0.428)sat (0.443)unknown (0.472)sat (0.406)sat (0.401)sat (0.421)sat (0.430)
chc-LIA-Lin_170.smt2_372.smt2sat (0.424)sat (1.82)sat (0.408)sat (0.426)sat (0.434)unknown (0.500)sat (0.436)sat (0.388)sat (0.419)sat (0.436)
chc-LIA-Lin_170.smt2_373.smt2unsat (0.433)unsat (0.532)unsat (0.409)unsat (0.401)unsat (0.453)unsat (0.423)unsat (0.424)unsat (0.372)unsat (0.408)unsat (0.375)
chc-LIA-Lin_170.smt2_377.smt2unsat (0.428)unsat (0.505)unsat (0.409)unsat (0.394)unsat (0.402)unsat (0.422)unsat (0.431)unsat (0.407)unsat (0.396)unsat (0.371)
chc-LIA-Lin_170.smt2_378.smt2unsat (0.429)unsat (0.487)unsat (0.408)unsat (0.427)unsat (0.471)unsat (0.427)unsat (0.430)unsat (0.389)unsat (0.389)unsat (0.399)
chc-LIA-Lin_170.smt2_379.smt2sat (0.448)sat (1.66)sat (0.446)sat (0.462)sat (0.456)unknown (0.500)sat (0.449)sat (0.414)sat (0.408)sat (0.418)
chc-LIA-Lin_170.smt2_38.smt2unsat (0.390)unsat (0.501)unsat (0.403)unsat (0.384)unsat (0.417)unsat (0.376)unsat (0.390)unsat (0.405)unsat (0.399)unsat (0.378)
chc-LIA-Lin_170.smt2_380.smt2sat (0.458)sat (2.343)sat (0.436)sat (0.451)sat (0.505)unknown (0.491)sat (0.450)sat (0.395)sat (0.418)sat (0.435)
chc-LIA-Lin_170.smt2_381.smt2unsat (0.437)unsat (0.488)unsat (0.424)unsat (0.411)unsat (0.463)unsat (0.488)unsat (0.448)unsat (0.458)unsat (0.471)unsat (0.436)
chc-LIA-Lin_170.smt2_382.smt2sat (0.480)sat (1.67)sat (0.474)sat (0.447)sat (0.474)unknown (0.543)sat (0.470)sat (0.496)sat (0.472)sat (0.516)
chc-LIA-Lin_170.smt2_383.smt2unsat (0.466)unsat (0.517)unsat (0.471)unsat (0.444)unsat (0.486)unsat (0.484)unsat (0.511)unsat (0.462)unsat (0.470)unsat (0.444)
chc-LIA-Lin_170.smt2_384.smt2unsat (0.467)unsat (0.499)unsat (0.460)unsat (0.467)unsat (0.407)unsat (0.383)unsat (0.394)unsat (0.351)unsat (0.398)unsat (0.412)
chc-LIA-Lin_170.smt2_386.smt2unsat (0.408)unsat (0.535)unsat (0.409)unsat (0.467)unsat (0.400)unsat (0.412)unsat (0.398)unsat (0.392)unsat (0.409)unsat (0.369)
chc-LIA-Lin_170.smt2_388.smt2unsat (0.425)unsat (0.533)unsat (0.409)unsat (0.475)unsat (0.403)unsat (0.384)unsat (0.391)unsat (0.411)unsat (0.423)unsat (0.387)
chc-LIA-Lin_170.smt2_389.smt2unsat (0.403)unsat (0.515)unsat (0.390)unsat (0.387)unsat (0.400)unsat (0.386)unsat (0.390)unsat (0.390)unsat (0.411)unsat (0.362)
chc-LIA-Lin_170.smt2_39.smt2unsat (0.381)unsat (0.503)unsat (0.380)unsat (0.400)unsat (0.398)unsat (0.377)unsat (0.345)unsat (0.379)unsat (0.381)unsat (0.374)
chc-LIA-Lin_170.smt2_391.smt2sat (0.436)sat (0.524)sat (0.402)sat (0.410)sat (0.408)unknown (0.453)sat (0.423)sat (0.411)sat (0.416)sat (0.419)
chc-LIA-Lin_170.smt2_392.smt2sat (0.407)sat (0.510)sat (0.403)sat (0.409)sat (0.466)unknown (0.478)sat (0.405)sat (0.419)sat (0.434)sat (0.449)
chc-LIA-Lin_170.smt2_393.smt2unsat (0.396)unsat (0.515)unsat (0.379)unsat (0.380)unsat (0.416)unsat (0.391)unsat (0.407)unsat (0.404)unsat (0.387)unsat (0.376)
chc-LIA-Lin_170.smt2_394.smt2sat (0.399)sat (0.761)sat (0.402)sat (0.409)sat (0.432)unknown (0.523)sat (0.421)sat (0.418)sat (0.413)sat (0.901)
chc-LIA-Lin_170.smt2_397.smt2unsat (0.396)unsat (0.544)unsat (0.401)unsat (0.391)unsat (0.391)unsat (0.385)unsat (0.387)unsat (0.403)unsat (0.386)unsat (0.383)
chc-LIA-Lin_170.smt2_398.smt2sat (0.422)sat (0.637)sat (0.398)sat (0.414)sat (0.440)unknown (0.454)sat (0.411)sat (0.417)sat (0.401)sat (0.884)
chc-LIA-Lin_170.smt2_399.smt2sat (0.433)sat (0.724)sat (0.412)sat (0.403)sat (0.448)unknown (0.440)sat (0.433)sat (0.399)sat (0.420)sat (0.984)
chc-LIA-Lin_170.smt2_4.smt2sat (0.467)sat (0.549)sat (0.437)sat (0.418)sat (0.389)unknown (0.555)sat (0.409)sat (0.429)sat (0.402)sat (0.618)
chc-LIA-Lin_170.smt2_40.smt2unsat (0.404)unsat (0.467)unsat (0.385)unsat (0.403)unsat (0.397)unsat (0.362)unsat (0.382)unsat (0.413)unsat (0.387)unsat (0.378)
chc-LIA-Lin_170.smt2_400.smt2unsat (0.422)unsat (0.513)unsat (0.418)unsat (0.407)unsat (0.384)unsat (0.396)unsat (0.380)unsat (0.384)unsat (0.413)unsat (0.355)
chc-LIA-Lin_170.smt2_404.smt2sat (0.429)sat (0.626)sat (0.420)sat (0.451)sat (0.413)unknown (0.436)sat (0.423)sat (0.408)sat (0.409)sat (1.86)
chc-LIA-Lin_170.smt2_405.smt2sat (0.460)sat (0.792)sat (0.431)sat (0.447)sat (0.447)unknown (0.414)sat (0.399)sat (0.421)sat (0.400)sat (1.64)
chc-LIA-Lin_170.smt2_406.smt2unsat (0.403)unsat (0.446)unsat (0.397)unsat (0.407)unsat (0.418)unsat (0.402)unsat (0.376)unsat (0.400)unsat (0.381)unsat (0.362)
chc-LIA-Lin_170.smt2_408.smt2sat (0.444)sat (0.730)sat (0.401)sat (0.503)sat (0.448)unknown (0.429)sat (0.417)sat (0.423)sat (0.412)sat (1.142)
chc-LIA-Lin_170.smt2_41.smt2unsat (0.434)unsat (0.486)unsat (0.412)unsat (0.415)unsat (0.413)unsat (0.401)unsat (0.382)unsat (0.402)unsat (0.393)unsat (0.376)
chc-LIA-Lin_170.smt2_410.smt2sat (0.439)sat (0.654)sat (0.407)sat (0.457)sat (0.433)unknown (0.453)sat (0.412)sat (0.436)sat (0.406)sat (1.197)
chc-LIA-Lin_170.smt2_411.smt2sat (0.420)sat (0.768)sat (0.422)sat (0.416)sat (0.425)unknown (0.465)sat (0.425)sat (0.439)sat (0.418)sat (1.191)
chc-LIA-Lin_170.smt2_412.smt2unsat (0.456)unsat (0.522)unsat (0.390)unsat (0.397)unsat (0.434)unsat (0.397)unsat (0.386)unsat (0.382)unsat (0.389)unsat (0.353)
chc-LIA-Lin_170.smt2_416.smt2unsat (0.407)unsat (0.491)unsat (0.387)unsat (0.389)unsat (0.423)unsat (0.407)unsat (0.400)unsat (0.401)unsat (0.415)unsat (0.361)
chc-LIA-Lin_170.smt2_417.smt2unsat (0.443)unsat (0.487)unsat (0.423)unsat (0.378)unsat (0.431)unsat (0.396)unsat (0.414)unsat (0.391)unsat (0.380)unsat (0.368)
chc-LIA-Lin_170.smt2_418.smt2sat (0.456)sat (0.598)sat (0.464)sat (0.419)sat (0.456)unknown (0.481)sat (0.427)sat (0.406)sat (0.423)sat (0.454)
chc-LIA-Lin_170.smt2_419.smt2sat (0.462)sat (0.741)sat (0.446)sat (0.405)sat (0.436)unknown (0.454)sat (0.427)sat (0.420)sat (0.427)sat (1.322)
chc-LIA-Lin_170.smt2_42.smt2unsat (0.406)unsat (0.493)unsat (0.393)unsat (0.461)unsat (0.454)unsat (0.381)unsat (0.390)unsat (0.385)unsat (0.397)unsat (0.379)
chc-LIA-Lin_170.smt2_420.smt2unsat (0.426)unsat (0.488)unsat (0.416)unsat (0.440)unsat (0.433)unsat (0.432)unsat (0.396)unsat (0.401)unsat (0.394)unsat (0.369)
chc-LIA-Lin_170.smt2_421.smt2sat (0.471)sat (0.777)sat (0.437)sat (0.445)sat (0.480)unknown (0.522)sat (0.423)sat (0.436)sat (0.426)sat (1.471)
chc-LIA-Lin_170.smt2_424.smt2sat (0.451)sat (0.568)sat (0.436)sat (0.438)sat (0.464)unknown (0.714)sat (0.492)sat (0.416)sat (0.404)sat (0.563)
chc-LIA-Lin_170.smt2_425.smt2sat (0.497)sat (0.785)sat (0.490)sat (0.433)sat (0.510)unknown (0.505)sat (0.478)sat (0.421)sat (0.482)sat (1.533)
chc-LIA-Lin_170.smt2_426.smt2unsat (0.458)unsat (0.529)unsat (0.460)unsat (0.417)unsat (0.385)unsat (0.349)unsat (0.476)unsat (0.371)unsat (0.465)unsat (0.364)
chc-LIA-Lin_170.smt2_428.smt2unsat (0.471)unsat (0.521)unsat (0.471)unsat (0.422)unsat (0.429)unsat (0.365)unsat (0.403)unsat (0.395)unsat (0.455)unsat (0.364)
chc-LIA-Lin_170.smt2_429.smt2unsat (0.388)unsat (0.509)unsat (0.385)unsat (0.432)unsat (0.436)unsat (0.339)unsat (0.407)unsat (0.398)unsat (0.378)unsat (0.386)
chc-LIA-Lin_170.smt2_43.smt2unsat (0.401)unsat (0.518)unsat (0.393)unsat (0.367)unsat (0.400)unsat (0.414)unsat (0.363)unsat (0.369)unsat (0.398)unsat (0.374)
chc-LIA-Lin_170.smt2_430.smt2unsat (0.407)unsat (0.498)unsat (0.396)unsat (0.475)unsat (0.443)unsat (0.365)unsat (0.403)unsat (0.404)unsat (0.400)unsat (0.367)
chc-LIA-Lin_170.smt2_431.smt2unsat (0.411)unsat (0.494)unsat (0.393)unsat (0.473)unsat (0.389)unsat (0.382)unsat (0.404)unsat (0.413)unsat (0.410)unsat (0.359)
chc-LIA-Lin_170.smt2_432.smt2sat (0.404)sat (0.767)sat (0.438)sat (0.405)sat (0.393)unknown (0.405)sat (0.424)sat (0.412)sat (0.422)sat (1.251)
chc-LIA-Lin_170.smt2_433.smt2unsat (0.410)unsat (0.524)unsat (0.392)unsat (0.395)unsat (0.377)unsat (0.381)unsat (0.408)unsat (0.397)unsat (0.400)unsat (0.366)
chc-LIA-Lin_170.smt2_434.smt2unsat (0.442)unsat (0.528)unsat (0.421)unsat (0.392)unsat (0.394)unsat (0.403)unsat (0.410)unsat (0.462)unsat (0.416)unsat (0.375)
chc-LIA-Lin_170.smt2_436.smt2unsat (0.402)unsat (0.556)unsat (0.404)unsat (0.389)unsat (0.456)unsat (0.371)unsat (0.390)unsat (0.469)unsat (0.397)unsat (0.367)
chc-LIA-Lin_170.smt2_437.smt2unsat (0.418)unsat (0.568)unsat (0.413)unsat (0.406)unsat (0.385)unsat (0.395)unsat (0.391)unsat (0.488)unsat (0.405)unsat (0.373)
chc-LIA-Lin_170.smt2_438.smt2unsat (0.385)unsat (0.500)unsat (0.409)unsat (0.397)unsat (0.446)unsat (0.351)unsat (0.390)unsat (0.500)unsat (0.396)unsat (0.368)
chc-LIA-Lin_170.smt2_439.smt2unsat (0.421)unsat (0.538)unsat (0.415)unsat (0.392)unsat (0.385)unsat (0.413)unsat (0.352)unsat (0.379)unsat (0.397)unsat (0.379)
chc-LIA-Lin_170.smt2_44.smt2unsat (0.409)unsat (0.467)unsat (0.336)unsat (0.374)unsat (0.371)unsat (0.425)unsat (0.361)unsat (0.356)unsat (0.378)unsat (0.347)
chc-LIA-Lin_170.smt2_440.smt2sat (0.486)sat (0.761)sat (0.447)sat (0.418)sat (0.420)unknown (0.490)sat (0.445)sat (0.410)sat (0.425)sat (1.12)
chc-LIA-Lin_170.smt2_441.smt2unsat (0.492)unsat (0.487)unsat (0.408)unsat (0.405)unsat (0.399)unsat (0.415)unsat (0.448)unsat (0.377)unsat (0.367)unsat (0.372)
chc-LIA-Lin_170.smt2_442.smt2unsat (0.488)unsat (0.477)unsat (0.410)unsat (0.421)unsat (0.360)unsat (0.382)unsat (0.434)unsat (0.426)unsat (0.365)unsat (0.352)
chc-LIA-Lin_170.smt2_443.smt2unsat (0.512)unsat (0.474)unsat (0.416)unsat (0.388)unsat (0.355)unsat (0.390)unsat (0.452)unsat (0.394)unsat (0.371)unsat (0.371)
chc-LIA-Lin_170.smt2_444.smt2unsat (0.507)unsat (0.502)unsat (0.402)unsat (0.410)unsat (0.378)unsat (0.392)unsat (0.354)unsat (0.369)unsat (0.367)unsat (0.368)
chc-LIA-Lin_170.smt2_446.smt2unsat (0.429)unsat (0.531)unsat (0.338)unsat (0.423)unsat (0.381)unsat (0.381)unsat (0.377)unsat (0.384)unsat (0.380)unsat (0.363)
chc-LIA-Lin_170.smt2_447.smt2unsat (0.386)unsat (0.516)unsat (0.337)unsat (0.407)unsat (0.378)unsat (0.394)unsat (0.358)unsat (0.368)unsat (0.368)unsat (0.353)
chc-LIA-Lin_170.smt2_448.smt2unsat (0.424)unsat (0.464)unsat (0.334)unsat (0.400)unsat (0.358)unsat (0.411)unsat (0.364)unsat (0.379)unsat (0.379)unsat (0.339)
chc-LIA-Lin_170.smt2_45.smt2unsat (0.421)unsat (0.520)unsat (0.401)unsat (0.393)unsat (0.393)unsat (0.397)unsat (0.408)unsat (0.389)unsat (0.393)unsat (0.371)
chc-LIA-Lin_170.smt2_450.smt2unsat (0.430)unsat (0.498)unsat (0.345)unsat (0.409)unsat (0.384)unsat (0.418)unsat (0.370)unsat (0.373)unsat (0.393)unsat (0.367)
chc-LIA-Lin_170.smt2_451.smt2sat (0.422)sat (0.542)sat (0.350)sat (0.400)sat (0.381)unknown (0.457)sat (0.372)sat (0.395)sat (0.387)sat (0.387)
chc-LIA-Lin_170.smt2_452.smt2sat (0.429)sat (0.549)sat (0.369)sat (0.348)sat (0.376)unknown (0.505)sat (0.365)sat (0.391)sat (0.377)sat (0.394)
chc-LIA-Lin_170.smt2_453.smt2unsat (0.404)unsat (0.431)unsat (0.359)unsat (0.330)unsat (0.399)unsat (0.380)unsat (0.353)unsat (0.364)unsat (0.369)unsat (0.347)
chc-LIA-Lin_170.smt2_455.smt2unsat (0.407)unsat (0.452)unsat (0.370)unsat (0.335)unsat (0.383)unsat (0.392)unsat (0.375)unsat (0.375)unsat (0.383)unsat (0.417)
chc-LIA-Lin_170.smt2_456.smt2unsat (0.421)unsat (0.523)unsat (0.427)unsat (0.511)unsat (0.423)unsat (0.397)unsat (0.391)unsat (0.405)unsat (0.397)unsat (0.363)
chc-LIA-Lin_170.smt2_457.smt2sat (0.429)sat (0.594)sat (0.408)sat (0.507)sat (0.481)unknown (0.472)sat (0.399)sat (0.421)sat (0.415)sat (0.801)
chc-LIA-Lin_170.smt2_458.smt2sat (0.422)sat (0.715)sat (0.420)sat (0.472)sat (0.439)unknown (0.460)sat (0.407)sat (0.435)sat (0.406)sat (0.889)
chc-LIA-Lin_170.smt2_459.smt2unsat (0.402)unsat (0.506)unsat (0.399)unsat (0.406)unsat (0.447)unsat (0.379)unsat (0.391)unsat (0.380)unsat (0.387)unsat (0.356)
chc-LIA-Lin_170.smt2_46.smt2unsat (0.430)unsat (0.491)unsat (0.400)unsat (0.421)unsat (0.415)unsat (0.418)unsat (0.413)unsat (0.377)unsat (0.393)unsat (0.366)
chc-LIA-Lin_170.smt2_460.smt2sat (0.406)sat (3.343)sat (0.417)sat (0.490)sat (0.422)unknown (0.442)sat (0.429)sat (0.409)sat (0.434)sat (0.972)
chc-LIA-Lin_170.smt2_461.smt2sat (0.432)sat (0.557)sat (0.410)sat (0.469)sat (0.411)unknown (0.432)sat (0.410)sat (0.425)sat (0.410)sat (0.410)
chc-LIA-Lin_170.smt2_462.smt2sat (0.405)sat (0.711)sat (0.427)sat (0.415)sat (0.397)unknown (0.470)sat (0.414)sat (0.417)sat (0.417)sat (1.55)
chc-LIA-Lin_170.smt2_463.smt2unsat (0.395)unsat (0.511)unsat (0.405)unsat (0.411)unsat (0.377)unsat (0.433)unsat (0.393)unsat (0.383)unsat (0.391)unsat (0.379)
chc-LIA-Lin_170.smt2_464.smt2sat (0.410)sat (0.713)sat (0.413)sat (0.413)sat (0.388)unknown (0.452)sat (0.412)sat (0.399)sat (0.399)sat (1.97)
chc-LIA-Lin_170.smt2_465.smt2unsat (0.411)unsat (0.540)unsat (0.392)unsat (0.414)unsat (0.434)unsat (0.421)unsat (0.416)unsat (0.369)unsat (0.394)unsat (0.380)
chc-LIA-Lin_170.smt2_466.smt2unsat (0.409)unsat (0.523)unsat (0.425)unsat (0.413)unsat (0.427)unsat (0.444)unsat (0.421)unsat (0.389)unsat (0.390)unsat (0.364)
chc-LIA-Lin_170.smt2_467.smt2sat (0.463)sat (1.425)sat (0.458)sat (0.439)sat (0.501)unknown (0.498)sat (0.441)sat (0.434)sat (0.402)sat (0.871)
chc-LIA-Lin_170.smt2_468.smt2sat (0.449)sat (0.667)sat (0.436)sat (0.458)sat (0.433)unknown (0.488)sat (0.437)sat (0.411)sat (0.413)sat (1.183)
chc-LIA-Lin_170.smt2_469.smt2unsat (0.436)unsat (0.523)unsat (0.420)unsat (0.429)unsat (0.452)unsat (0.436)unsat (0.422)unsat (0.395)unsat (0.391)unsat (0.382)
chc-LIA-Lin_170.smt2_47.smt2sat (0.389)sat (0.504)sat (0.395)sat (0.425)sat (0.415)unknown (0.447)sat (0.413)sat (0.420)sat (0.400)sat (0.418)
chc-LIA-Lin_170.smt2_470.smt2sat (0.469)sat (0.677)sat (0.444)sat (0.442)sat (0.455)unknown (0.490)sat (0.433)sat (0.416)sat (0.425)sat (1.234)
chc-LIA-Lin_170.smt2_471.smt2unsat (0.433)unsat (0.483)unsat (0.412)unsat (0.426)unsat (0.487)unsat (0.457)unsat (0.465)unsat (0.477)unsat (0.471)unsat (0.443)
chc-LIA-Lin_170.smt2_472.smt2sat (0.499)sat (0.690)sat (0.488)sat (0.461)sat (0.527)unknown (0.530)sat (0.488)sat (0.493)sat (0.480)sat (1.398)
chc-LIA-Lin_170.smt2_473.smt2sat (0.499)sat (0.690)sat (0.479)sat (0.456)sat (0.436)unknown (0.550)sat (0.471)sat (0.525)sat (0.483)sat (1.388)
chc-LIA-Lin_170.smt2_474.smt2unsat (0.475)unsat (0.488)unsat (0.441)unsat (0.459)unsat (0.380)unsat (0.373)unsat (0.392)unsat (0.359)unsat (0.387)unsat (0.375)
chc-LIA-Lin_170.smt2_476.smt2unsat (0.399)unsat (0.527)unsat (0.398)unsat (0.471)unsat (0.373)unsat (0.383)unsat (0.401)unsat (0.389)unsat (0.399)unsat (0.404)
chc-LIA-Lin_170.smt2_477.smt2unsat (0.388)unsat (0.517)unsat (0.389)unsat (0.457)unsat (0.395)unsat (0.373)unsat (0.385)unsat (0.404)unsat (0.395)unsat (0.367)
chc-LIA-Lin_170.smt2_478.smt2sat (0.452)sat (0.694)sat (0.405)sat (0.429)sat (0.392)unknown (0.424)sat (0.404)sat (0.417)sat (0.414)sat (1.462)
chc-LIA-Lin_170.smt2_479.smt2sat (0.470)sat (0.697)sat (0.418)sat (0.405)sat (0.394)unknown (0.451)sat (0.417)sat (0.403)sat (0.416)sat (1.441)
chc-LIA-Lin_170.smt2_48.smt2sat (0.437)sat (0.529)sat (0.428)sat (0.412)sat (0.407)unknown (0.450)sat (0.404)sat (0.405)sat (0.463)sat (0.402)
chc-LIA-Lin_170.smt2_480.smt2unsat (0.396)unsat (0.505)unsat (0.389)unsat (0.387)unsat (0.358)unsat (0.375)unsat (0.399)unsat (0.396)unsat (0.391)unsat (0.371)
chc-LIA-Lin_170.smt2_481.smt2sat (0.439)sat (0.678)sat (0.393)sat (0.429)sat (0.401)unknown (0.419)sat (0.406)sat (0.427)sat (0.408)sat (1.384)
chc-LIA-Lin_170.smt2_482.smt2unsat (0.395)unsat (0.526)unsat (0.371)unsat (0.385)unsat (0.368)unsat (0.394)unsat (0.381)unsat (0.385)unsat (0.397)unsat (0.368)
chc-LIA-Lin_170.smt2_483.smt2unsat (0.419)unsat (0.516)unsat (0.390)unsat (0.395)unsat (0.381)unsat (0.384)unsat (0.402)unsat (0.409)unsat (0.409)unsat (0.368)
chc-LIA-Lin_170.smt2_485.smt2unsat (0.401)unsat (0.526)unsat (0.414)unsat (0.391)unsat (0.374)unsat (0.373)unsat (0.414)unsat (0.395)unsat (0.409)unsat (0.373)
chc-LIA-Lin_170.smt2_486.smt2unsat (0.374)unsat (0.480)unsat (0.397)unsat (0.407)unsat (0.377)unsat (0.373)unsat (0.402)unsat (0.391)unsat (0.399)unsat (0.375)
chc-LIA-Lin_170.smt2_487.smt2unsat (0.400)unsat (0.497)unsat (0.381)unsat (0.392)unsat (0.407)unsat (0.385)unsat (0.446)unsat (0.393)unsat (0.439)unsat (0.368)
chc-LIA-Lin_170.smt2_489.smt2unsat (0.507)unsat (0.480)unsat (0.441)unsat (0.415)unsat (0.377)unsat (0.388)unsat (0.473)unsat (0.399)unsat (0.417)unsat (0.371)
chc-LIA-Lin_170.smt2_49.smt2unsat (0.383)unsat (0.417)unsat (0.385)unsat (0.381)unsat (0.373)unsat (0.425)unsat (0.380)unsat (0.397)unsat (0.380)unsat (0.371)
chc-LIA-Lin_170.smt2_490.smt2unsat (0.425)unsat (0.526)unsat (0.429)unsat (0.414)unsat (0.384)unsat (0.389)unsat (0.392)unsat (0.388)unsat (0.398)unsat (0.368)
chc-LIA-Lin_170.smt2_492.smt2unsat (0.406)unsat (0.505)unsat (0.403)unsat (0.389)unsat (0.388)unsat (0.392)unsat (0.392)unsat (0.364)unsat (0.375)unsat (0.378)
chc-LIA-Lin_170.smt2_493.smt2unsat (0.432)unsat (0.501)unsat (0.425)unsat (0.418)unsat (0.379)unsat (0.401)unsat (0.398)unsat (0.425)unsat (0.401)unsat (0.392)
chc-LIA-Lin_170.smt2_494.smt2unsat (0.415)unsat (0.481)unsat (0.402)unsat (0.410)unsat (0.368)unsat (0.390)unsat (0.407)unsat (0.417)unsat (0.388)unsat (0.363)
chc-LIA-Lin_170.smt2_495.smt2unsat (0.402)unsat (0.492)unsat (0.397)unsat (0.411)unsat (0.367)unsat (0.389)unsat (0.387)unsat (0.399)unsat (0.384)unsat (0.365)
chc-LIA-Lin_170.smt2_497.smt2sat (0.442)sat (1.195)sat (0.405)sat (0.418)sat (0.375)unknown (0.436)sat (0.432)sat (0.402)sat (0.396)sat (0.904)
chc-LIA-Lin_170.smt2_498.smt2sat (0.411)sat (0.553)sat (0.406)sat (0.420)sat (0.412)unknown (0.439)sat (0.422)sat (0.418)sat (0.424)sat (1.526)
chc-LIA-Lin_170.smt2_499.smt2unsat (0.415)unsat (0.513)unsat (0.390)unsat (0.373)unsat (0.389)unsat (0.416)unsat (0.394)unsat (0.376)unsat (0.379)unsat (0.360)
chc-LIA-Lin_170.smt2_5.smt2sat (0.423)sat (2.39)sat (0.432)sat (0.442)sat (0.367)unknown (0.448)sat (0.416)sat (0.396)sat (0.406)sat (0.412)
chc-LIA-Lin_170.smt2_501.smt2unsat (0.436)unsat (0.499)unsat (0.412)unsat (0.386)unsat (0.386)unsat (0.425)unsat (0.405)unsat (0.380)unsat (0.380)unsat (0.361)
chc-LIA-Lin_170.smt2_502.smt2sat (0.464)sat (0.520)sat (0.449)sat (0.422)sat (0.418)unknown (0.469)sat (0.417)sat (0.434)sat (0.413)sat (0.773)
chc-LIA-Lin_170.smt2_503.smt2sat (0.467)sat (0.548)sat (0.460)sat (0.408)sat (0.407)unknown (0.474)sat (0.424)sat (0.429)sat (0.403)sat (0.414)
chc-LIA-Lin_170.smt2_504.smt2unsat (0.429)unsat (0.499)unsat (0.409)unsat (0.425)unsat (0.409)unsat (0.418)unsat (0.379)unsat (0.377)unsat (0.386)unsat (0.362)
chc-LIA-Lin_170.smt2_505.smt2sat (0.452)sat (0.527)sat (0.442)sat (0.463)sat (0.430)unknown (0.488)sat (0.417)sat (0.417)sat (0.401)sat (0.495)
chc-LIA-Lin_170.smt2_506.smt2unsat (0.452)unsat (0.508)unsat (0.406)unsat (0.422)unsat (0.414)unsat (0.454)unsat (0.472)unsat (0.416)unsat (0.399)unsat (0.445)
chc-LIA-Lin_170.smt2_507.smt2unsat (0.466)unsat (0.474)unsat (0.478)unsat (0.432)unsat (0.438)unsat (0.435)unsat (0.471)unsat (0.418)unsat (0.470)unsat (0.451)
chc-LIA-Lin_170.smt2_508.smt2unsat (0.472)unsat (0.515)unsat (0.452)unsat (0.407)unsat (0.405)unsat (0.348)unsat (0.466)unsat (0.406)unsat (0.482)unsat (0.372)
chc-LIA-Lin_170.smt2_509.smt2sat (0.502)sat (0.557)sat (0.496)sat (0.444)sat (0.403)unknown (0.434)sat (0.425)sat (0.453)sat (0.503)sat (0.418)
chc-LIA-Lin_170.smt2_51.smt2sat (0.419)sat (0.571)sat (0.412)sat (0.414)sat (0.410)unknown (0.424)sat (0.414)sat (0.471)sat (0.415)sat (0.807)
chc-LIA-Lin_170.smt2_510.smt2sat (0.427)sat (0.566)sat (0.421)sat (0.453)sat (0.406)unknown (0.441)sat (0.445)sat (0.428)sat (0.416)sat (0.434)
chc-LIA-Lin_170.smt2_511.smt2unsat (0.400)unsat (0.504)unsat (0.422)unsat (0.455)unsat (0.367)unsat (0.386)unsat (0.391)unsat (0.373)unsat (0.387)unsat (0.372)
chc-LIA-Lin_170.smt2_512.smt2sat (0.413)sat (0.527)sat (0.413)sat (0.476)sat (0.410)unknown (0.423)sat (0.413)sat (0.423)sat (0.418)sat (0.422)
chc-LIA-Lin_170.smt2_513.smt2sat (0.420)sat (0.524)sat (0.412)sat (0.475)sat (0.435)unknown (0.433)sat (0.418)sat (0.412)sat (0.411)sat (0.431)
chc-LIA-Lin_170.smt2_514.smt2sat (0.420)sat (0.553)sat (0.402)sat (0.406)sat (0.406)unknown (0.421)sat (0.428)sat (0.416)sat (0.415)sat (0.407)
chc-LIA-Lin_170.smt2_515.smt2unsat (0.402)unsat (0.501)unsat (0.412)unsat (0.408)unsat (0.416)unsat (0.376)unsat (0.394)unsat (0.407)unsat (0.381)unsat (0.372)
chc-LIA-Lin_170.smt2_516.smt2sat (0.420)sat (0.550)sat (0.398)sat (0.417)sat (0.440)unknown (0.432)sat (0.410)sat (0.433)sat (0.421)sat (0.431)
chc-LIA-Lin_170.smt2_519.smt2sat (0.435)sat (0.598)sat (0.418)sat (0.415)sat (0.409)unknown (0.466)sat (0.401)sat (0.473)sat (0.427)sat (1.57)
chc-LIA-Lin_170.smt2_52.smt2sat (0.492)sat (0.661)sat (0.419)sat (0.420)sat (0.366)unknown (0.442)sat (0.390)sat (0.384)sat (0.384)sat (0.877)
chc-LIA-Lin_170.smt2_520.smt2sat (0.421)sat (0.592)sat (0.410)sat (0.404)sat (0.403)unknown (0.465)sat (0.405)sat (0.476)sat (0.415)sat (0.429)
chc-LIA-Lin_170.smt2_521.smt2unsat (0.397)unsat (0.521)unsat (0.382)unsat (0.389)unsat (0.403)unsat (0.433)unsat (0.335)unsat (0.389)unsat (0.375)unsat (0.371)
chc-LIA-Lin_170.smt2_525.smt2unsat (0.405)unsat (0.568)unsat (0.394)unsat (0.395)unsat (0.382)unsat (0.400)unsat (0.342)unsat (0.388)unsat (0.359)unsat (0.369)
chc-LIA-Lin_170.smt2_526.smt2unsat (0.442)unsat (0.496)unsat (0.421)unsat (0.396)unsat (0.385)unsat (0.403)unsat (0.386)unsat (0.392)unsat (0.365)unsat (0.362)
chc-LIA-Lin_170.smt2_527.smt2sat (0.495)sat (0.543)sat (0.415)sat (0.424)sat (0.400)unknown (0.501)sat (0.414)sat (0.423)sat (0.415)sat (1.128)
chc-LIA-Lin_170.smt2_528.smt2sat (0.485)sat (0.538)sat (0.422)sat (0.468)sat (0.356)unknown (0.490)sat (0.409)sat (0.400)sat (0.409)sat (0.397)
chc-LIA-Lin_170.smt2_529.smt2unsat (0.459)unsat (0.516)unsat (0.401)unsat (0.399)unsat (0.353)unsat (0.384)unsat (0.388)unsat (0.398)unsat (0.390)unsat (0.346)
chc-LIA-Lin_170.smt2_53.smt2unsat (0.382)unsat (0.445)unsat (0.349)unsat (0.314)unsat (0.354)unsat (0.372)unsat (0.356)unsat (0.358)unsat (0.373)unsat (0.423)
chc-LIA-Lin_170.smt2_530.smt2sat (0.399)sat (0.572)sat (0.351)sat (0.434)sat (0.362)unknown (0.437)sat (0.384)sat (0.385)sat (0.399)sat (0.399)
chc-LIA-Lin_170.smt2_531.smt2unsat (0.416)unsat (0.565)unsat (0.331)unsat (0.450)unsat (0.363)unsat (0.403)unsat (0.377)unsat (0.371)unsat (0.386)unsat (0.357)
chc-LIA-Lin_170.smt2_532.smt2unsat (0.394)unsat (0.480)unsat (0.334)unsat (0.382)unsat (0.368)unsat (0.434)unsat (0.353)unsat (0.359)unsat (0.376)unsat (0.346)
chc-LIA-Lin_170.smt2_534.smt2unsat (0.394)unsat (0.490)unsat (0.334)unsat (0.403)unsat (0.352)unsat (0.420)unsat (0.366)unsat (0.368)unsat (0.381)unsat (0.347)
chc-LIA-Lin_170.smt2_535.smt2unsat (0.394)unsat (0.477)unsat (0.342)unsat (0.384)unsat (0.361)unsat (0.417)unsat (0.368)unsat (0.378)unsat (0.371)unsat (0.351)
chc-LIA-Lin_170.smt2_536.smt2unsat (0.414)unsat (0.529)unsat (0.314)unsat (0.402)unsat (0.365)unsat (0.409)unsat (0.359)unsat (0.362)unsat (0.376)unsat (0.352)
chc-LIA-Lin_170.smt2_537.smt2unsat (0.396)unsat (0.515)unsat (0.361)unsat (0.329)unsat (0.379)unsat (0.459)unsat (0.368)unsat (0.385)unsat (0.380)unsat (0.345)
chc-LIA-Lin_170.smt2_539.smt2unsat (0.408)unsat (0.520)unsat (0.340)unsat (0.324)unsat (0.390)unsat (0.399)unsat (0.357)unsat (0.360)unsat (0.360)unsat (0.348)
chc-LIA-Lin_170.smt2_540.smt2unsat (0.447)unsat (0.561)unsat (0.434)unsat (0.527)unsat (0.389)unsat (0.400)unsat (0.398)unsat (0.427)unsat (0.383)unsat (0.362)
chc-LIA-Lin_170.smt2_541.smt2unsat (0.408)unsat (0.560)unsat (0.409)unsat (0.472)unsat (0.382)unsat (0.380)unsat (0.389)unsat (0.386)unsat (0.376)unsat (0.371)
chc-LIA-Lin_170.smt2_542.smt2unsat (0.437)unsat (0.564)unsat (0.418)unsat (0.442)unsat (0.381)unsat (0.398)unsat (0.383)unsat (0.399)unsat (0.377)unsat (0.362)
chc-LIA-Lin_170.smt2_544.smt2unsat (0.425)unsat (0.528)unsat (0.403)unsat (0.481)unsat (0.405)unsat (0.377)unsat (0.397)unsat (0.443)unsat (0.376)unsat (0.369)
chc-LIA-Lin_170.smt2_545.smt2sat (0.421)sat (1.103)sat (0.426)sat (0.474)sat (0.456)unknown (0.439)sat (0.406)sat (0.411)sat (0.417)sat (1.714)
chc-LIA-Lin_170.smt2_546.smt2unsat (0.427)unsat (0.534)unsat (0.380)unsat (0.477)unsat (0.425)unsat (0.385)unsat (0.407)unsat (0.397)unsat (0.397)unsat (0.378)
chc-LIA-Lin_170.smt2_547.smt2unsat (0.415)unsat (0.514)unsat (0.387)unsat (0.474)unsat (0.494)unsat (0.394)unsat (0.390)unsat (0.410)unsat (0.407)unsat (0.368)
chc-LIA-Lin_170.smt2_548.smt2unsat (0.519)unsat (0.557)unsat (0.407)unsat (0.447)unsat (0.402)unsat (0.395)unsat (0.401)unsat (0.418)unsat (0.407)unsat (0.398)
chc-LIA-Lin_170.smt2_549.smt2sat (0.427)sat (0.558)sat (0.406)sat (0.413)sat (0.441)unknown (0.450)sat (0.433)sat (0.388)sat (0.425)sat (1.394)
chc-LIA-Lin_170.smt2_55.smt2unsat (0.492)unsat (0.488)unsat (0.460)unsat (0.414)unsat (0.498)unsat (0.457)unsat (0.474)unsat (0.454)unsat (0.486)unsat (0.455)
chc-LIA-Lin_170.smt2_550.smt2unsat (0.403)unsat (0.554)unsat (0.407)unsat (0.411)unsat (0.407)unsat (0.409)unsat (0.408)unsat (0.434)unsat (0.427)unsat (0.405)
chc-LIA-Lin_170.smt2_551.smt2unsat (0.439)unsat (0.536)unsat (0.381)unsat (0.394)unsat (0.456)unsat (0.423)unsat (0.425)unsat (0.387)unsat (0.401)unsat (0.365)
chc-LIA-Lin_170.smt2_552.smt2unsat (0.414)unsat (0.524)unsat (0.412)unsat (0.391)unsat (0.515)unsat (0.441)unsat (0.421)unsat (0.428)unsat (0.389)unsat (0.367)
chc-LIA-Lin_170.smt2_553.smt2unsat (0.453)unsat (0.492)unsat (0.417)unsat (0.376)unsat (0.440)unsat (0.423)unsat (0.410)unsat (0.401)unsat (0.398)unsat (0.364)
chc-LIA-Lin_170.smt2_554.smt2unsat (0.465)unsat (0.487)unsat (0.430)unsat (0.436)unsat (0.489)unsat (0.437)unsat (0.415)unsat (0.404)unsat (0.371)unsat (0.364)
chc-LIA-Lin_170.smt2_555.smt2unsat (0.460)unsat (0.509)unsat (0.421)unsat (0.430)unsat (0.505)unsat (0.418)unsat (0.411)unsat (0.439)unsat (0.394)unsat (0.374)
chc-LIA-Lin_170.smt2_556.smt2unsat (0.432)unsat (0.520)unsat (0.426)unsat (0.439)unsat (0.495)unsat (0.437)unsat (0.426)unsat (0.418)unsat (0.392)unsat (0.366)
chc-LIA-Lin_170.smt2_557.smt2unsat (0.445)unsat (0.476)unsat (0.401)unsat (0.422)unsat (0.453)unsat (0.422)unsat (0.405)unsat (0.409)unsat (0.397)unsat (0.385)
chc-LIA-Lin_170.smt2_558.smt2unsat (0.409)unsat (0.470)unsat (0.416)unsat (0.442)unsat (0.450)unsat (0.435)unsat (0.458)unsat (0.482)unsat (0.462)unsat (0.448)
chc-LIA-Lin_170.smt2_559.smt2unsat (0.464)unsat (0.499)unsat (0.469)unsat (0.432)unsat (0.438)unsat (0.457)unsat (0.473)unsat (0.484)unsat (0.479)unsat (0.440)
chc-LIA-Lin_170.smt2_56.smt2sat (0.407)sat (0.552)sat (0.390)sat (0.407)sat (0.368)unknown (0.457)sat (0.409)sat (0.463)sat (0.410)sat (0.439)
chc-LIA-Lin_170.smt2_560.smt2unsat (0.516)unsat (0.487)unsat (0.458)unsat (0.453)unsat (0.345)unsat (0.366)unsat (0.389)unsat (0.362)unsat (0.411)unsat (0.370)
chc-LIA-Lin_170.smt2_561.smt2unsat (0.384)unsat (0.521)unsat (0.371)unsat (0.443)unsat (0.348)unsat (0.408)unsat (0.384)unsat (0.422)unsat (0.389)unsat (0.380)
chc-LIA-Lin_170.smt2_562.smt2unsat (0.410)unsat (0.510)unsat (0.367)unsat (0.456)unsat (0.337)unsat (0.379)unsat (0.399)unsat (0.402)unsat (0.410)unsat (0.375)
chc-LIA-Lin_170.smt2_563.smt2unsat (0.393)unsat (0.507)unsat (0.368)unsat (0.397)unsat (0.341)unsat (0.382)unsat (0.395)unsat (0.407)unsat (0.396)unsat (0.389)
chc-LIA-Lin_170.smt2_564.smt2unsat (0.418)unsat (0.509)unsat (0.377)unsat (0.390)unsat (0.333)unsat (0.377)unsat (0.382)unsat (0.391)unsat (0.399)unsat (0.385)
chc-LIA-Lin_170.smt2_565.smt2unsat (0.392)unsat (0.477)unsat (0.391)unsat (0.384)unsat (0.353)unsat (0.385)unsat (0.397)unsat (0.505)unsat (0.404)unsat (0.372)
chc-LIA-Lin_170.smt2_566.smt2unsat (0.499)unsat (0.545)unsat (0.385)unsat (0.391)unsat (0.345)unsat (0.398)unsat (0.378)unsat (0.383)unsat (0.400)unsat (0.376)
chc-LIA-Lin_170.smt2_567.smt2unsat (0.392)unsat (0.482)unsat (0.390)unsat (0.377)unsat (0.329)unsat (0.405)unsat (0.402)unsat (0.390)unsat (0.388)unsat (0.361)
chc-LIA-Lin_170.smt2_568.smt2unsat (0.381)unsat (0.542)unsat (0.381)unsat (0.391)unsat (0.339)unsat (0.397)unsat (0.408)unsat (0.401)unsat (0.409)unsat (0.371)
chc-LIA-Lin_170.smt2_569.smt2unsat (0.405)unsat (0.524)unsat (0.375)unsat (0.390)unsat (0.345)unsat (0.382)unsat (0.393)unsat (0.410)unsat (0.390)unsat (0.391)
chc-LIA-Lin_170.smt2_57.smt2sat (0.437)sat (0.674)sat (0.423)sat (0.440)sat (0.420)unknown (0.461)sat (0.419)sat (0.398)sat (0.420)sat (1.41)
chc-LIA-Lin_170.smt2_570.smt2unsat (0.387)unsat (0.481)unsat (0.387)unsat (0.380)unsat (0.339)unsat (0.412)unsat (0.379)unsat (0.412)unsat (0.394)unsat (0.375)
chc-LIA-Lin_170.smt2_571.smt2unsat (0.407)unsat (0.491)unsat (0.380)unsat (0.378)unsat (0.399)unsat (0.383)unsat (0.406)unsat (0.380)unsat (0.398)unsat (0.361)
chc-LIA-Lin_170.smt2_572.smt2unsat (0.435)unsat (0.477)unsat (0.422)unsat (0.391)unsat (0.383)unsat (0.397)unsat (0.422)unsat (0.382)unsat (0.384)unsat (0.367)
chc-LIA-Lin_170.smt2_58.smt2unsat (0.440)unsat (0.514)unsat (0.402)unsat (0.416)unsat (0.386)unsat (0.400)unsat (0.388)unsat (0.378)unsat (0.384)unsat (0.356)
chc-LIA-Lin_170.smt2_6.smt2unsat (0.438)unsat (0.462)unsat (0.414)unsat (0.390)unsat (0.396)unsat (0.393)unsat (0.404)unsat (0.412)unsat (0.396)unsat (0.366)
chc-LIA-Lin_170.smt2_61.smt2sat (0.442)sat (1.348)sat (0.428)sat (0.450)sat (0.398)unknown (0.445)sat (0.407)sat (0.424)sat (0.412)sat (0.875)
chc-LIA-Lin_170.smt2_62.smt2sat (0.460)sat (0.648)sat (0.420)sat (0.427)sat (0.394)unknown (0.437)sat (0.404)sat (0.428)sat (0.412)sat (1.149)
chc-LIA-Lin_170.smt2_63.smt2unsat (0.403)unsat (0.472)unsat (0.409)unsat (0.416)unsat (0.356)unsat (0.401)unsat (0.394)unsat (0.416)unsat (0.395)unsat (0.357)
chc-LIA-Lin_170.smt2_66.smt2sat (0.427)sat (0.690)sat (0.426)sat (0.424)sat (0.380)unknown (0.429)sat (0.426)sat (0.430)sat (0.419)sat (1.219)
chc-LIA-Lin_170.smt2_67.smt2sat (0.441)sat (0.710)sat (0.407)sat (0.428)sat (0.380)unknown (0.444)sat (0.407)sat (0.433)sat (0.409)sat (1.203)
chc-LIA-Lin_170.smt2_68.smt2sat (0.428)sat (0.705)sat (0.413)sat (0.427)sat (0.403)unknown (0.487)sat (0.417)sat (0.402)sat (0.410)sat (1.292)
chc-LIA-Lin_170.smt2_69.smt2unsat (0.399)unsat (0.480)unsat (0.415)unsat (0.402)unsat (0.382)unsat (0.404)unsat (0.403)unsat (0.417)unsat (0.392)unsat (0.358)
chc-LIA-Lin_170.smt2_7.smt2sat (0.495)sat (1.49)sat (0.477)sat (0.445)sat (0.378)unknown (0.412)sat (0.485)sat (0.422)sat (0.496)sat (0.426)
chc-LIA-Lin_170.smt2_70.smt2sat (0.464)sat (0.691)sat (0.435)sat (0.414)sat (0.406)unknown (0.486)sat (0.419)sat (0.415)sat (0.414)sat (1.354)
chc-LIA-Lin_170.smt2_73.smt2sat (0.483)sat (0.640)sat (0.436)sat (0.443)sat (0.419)unknown (0.459)sat (0.430)sat (0.426)sat (0.426)sat (1.366)
chc-LIA-Lin_170.smt2_74.smt2sat (0.457)sat (0.703)sat (0.445)sat (0.418)sat (0.427)unknown (0.467)sat (0.424)sat (0.421)sat (0.409)sat (1.421)
chc-LIA-Lin_170.smt2_75.smt2unsat (0.437)unsat (0.532)unsat (0.425)unsat (0.432)unsat (0.380)unsat (0.395)unsat (0.405)unsat (0.423)unsat (0.384)unsat (0.373)
chc-LIA-Lin_170.smt2_77.smt2unsat (0.436)unsat (0.474)unsat (0.435)unsat (0.450)unsat (0.481)unsat (0.447)unsat (0.411)unsat (0.444)unsat (0.401)unsat (0.446)
chc-LIA-Lin_170.smt2_78.smt2unsat (0.430)unsat (0.497)unsat (0.421)unsat (0.434)unsat (0.432)unsat (0.444)unsat (0.468)unsat (0.414)unsat (0.392)unsat (0.441)
chc-LIA-Lin_170.smt2_79.smt2unsat (0.460)unsat (0.482)unsat (0.449)unsat (0.421)unsat (0.444)unsat (0.445)unsat (0.466)unsat (0.396)unsat (0.465)unsat (0.434)
chc-LIA-Lin_170.smt2_81.smt2unsat (0.484)unsat (0.519)unsat (0.470)unsat (0.436)unsat (0.357)unsat (0.381)unsat (0.407)unsat (0.392)unsat (0.478)unsat (0.367)
chc-LIA-Lin_170.smt2_82.smt2unsat (0.407)unsat (0.508)unsat (0.423)unsat (0.434)unsat (0.380)unsat (0.351)unsat (0.398)unsat (0.395)unsat (0.407)unsat (0.379)
chc-LIA-Lin_170.smt2_83.smt2unsat (0.412)unsat (0.460)unsat (0.406)unsat (0.475)unsat (0.378)unsat (0.386)unsat (0.402)unsat (0.387)unsat (0.402)unsat (0.370)
chc-LIA-Lin_170.smt2_84.smt2sat (0.424)sat (0.663)sat (0.418)sat (0.484)sat (0.377)unknown (0.401)sat (0.428)sat (0.417)sat (0.411)sat (1.98)
chc-LIA-Lin_170.smt2_85.smt2unsat (0.399)unsat (0.478)unsat (0.384)unsat (0.465)unsat (0.370)unsat (0.380)unsat (0.391)unsat (0.412)unsat (0.411)unsat (0.370)
chc-LIA-Lin_170.smt2_86.smt2unsat (0.388)unsat (0.507)unsat (0.395)unsat (0.384)unsat (0.360)unsat (0.338)unsat (0.392)unsat (0.407)unsat (0.406)unsat (0.344)
chc-LIA-Lin_170.smt2_87.smt2unsat (0.395)unsat (0.496)unsat (0.407)unsat (0.387)unsat (0.370)unsat (0.382)unsat (0.383)unsat (0.401)unsat (0.398)unsat (0.362)
chc-LIA-Lin_170.smt2_88.smt2sat (0.406)sat (3.287)sat (0.435)sat (0.397)sat (0.380)unknown (0.443)sat (0.400)sat (0.427)sat (0.428)sat (0.957)
chc-LIA-Lin_170.smt2_89.smt2unsat (0.386)unsat (0.543)unsat (0.416)unsat (0.400)unsat (0.358)unsat (0.377)unsat (0.393)unsat (0.457)unsat (0.391)unsat (0.361)
chc-LIA-Lin_170.smt2_90.smt2unsat (0.410)unsat (0.542)unsat (0.419)unsat (0.399)unsat (0.374)unsat (0.394)unsat (0.414)unsat (0.454)unsat (0.403)unsat (0.383)
chc-LIA-Lin_170.smt2_91.smt2sat (0.404)sat (0.544)sat (0.416)sat (0.385)sat (0.389)unknown (0.401)sat (0.409)sat (0.458)sat (0.412)sat (1.376)
chc-LIA-Lin_170.smt2_92.smt2sat (0.402)sat (1.230)sat (0.433)sat (0.429)sat (0.419)unknown (0.464)sat (0.379)sat (0.412)sat (0.366)sat (0.921)
chc-LIA-Lin_170.smt2_93.smt2sat (0.406)sat (0.585)sat (0.406)sat (0.393)sat (0.405)unknown (0.473)sat (0.346)sat (0.412)sat (0.357)sat (1.549)
chc-LIA-Lin_170.smt2_94.smt2unsat (0.449)unsat (0.481)unsat (0.421)unsat (0.384)unsat (0.371)unsat (0.381)unsat (0.390)unsat (0.386)unsat (0.351)unsat (0.365)
chc-LIA-Lin_170.smt2_97.smt2sat (0.447)sat (1.35)sat (0.416)sat (0.408)sat (0.402)unknown (0.435)sat (0.411)sat (0.400)sat (0.416)sat (1.714)
chc-LIA-Lin_170.smt2_99.smt2sat (0.498)sat (0.534)sat (0.440)sat (0.401)sat (0.361)unknown (0.427)sat (0.417)sat (0.358)sat (0.422)sat (0.769)
chc-LIA-Lin_179.smt2_0.smt2unsat (0.455)unsat (0.435)unsat (0.420)unsat (0.391)unsat (0.353)unsat (0.386)unsat (0.379)unsat (0.316)unsat (0.386)unsat (0.343)
chc-LIA-Lin_179.smt2_1.smt2sat (0.427)sat (0.554)sat (0.424)sat (0.422)sat (0.404)sat (0.431)sat (0.427)sat (0.478)unknown (0.417)sat (0.435)
chc-LIA-Lin_179.smt2_100.smt2unsat (0.453)unsat (0.527)unsat (0.409)unsat (0.405)unsat (0.374)unsat (0.371)unsat (0.371)unsat (0.380)unsat (0.374)unsat (0.345)
chc-LIA-Lin_179.smt2_102.smt2unsat (0.380)unsat (0.527)unsat (0.342)unsat (0.429)unsat (0.371)unsat (0.379)unsat (0.390)unsat (0.373)unsat (0.376)unsat (0.362)
chc-LIA-Lin_179.smt2_103.smt2unsat (0.380)unsat (0.516)unsat (0.341)unsat (0.428)unsat (0.342)unsat (0.392)unsat (0.380)unsat (0.380)unsat (0.376)unsat (0.345)
chc-LIA-Lin_179.smt2_105.smt2unsat (0.389)unsat (0.544)unsat (0.338)unsat (0.411)unsat (0.362)unsat (0.425)unsat (0.383)unsat (0.382)unsat (0.389)unsat (0.353)
chc-LIA-Lin_179.smt2_106.smt2unsat (0.371)unsat (0.477)unsat (0.335)unsat (0.397)unsat (0.361)unsat (0.395)unsat (0.369)unsat (0.361)unsat (0.373)unsat (0.359)
chc-LIA-Lin_179.smt2_108.smt2unsat (0.378)unsat (0.469)unsat (0.328)unsat (0.421)unsat (0.370)unsat (0.412)unsat (0.374)unsat (0.378)unsat (0.374)unsat (0.362)
chc-LIA-Lin_179.smt2_109.smt2unsat (0.377)unsat (0.506)unsat (0.332)unsat (0.417)unsat (0.351)unsat (0.394)unsat (0.357)unsat (0.367)unsat (0.368)unsat (0.353)
chc-LIA-Lin_179.smt2_11.smt2sat (0.399)sat (0.562)sat (0.358)sat (0.325)sat (0.391)sat (0.389)sat (0.386)sat (0.370)sat (0.382)sat (0.401)
chc-LIA-Lin_179.smt2_111.smt2sat (0.414)sat (0.570)sat (0.382)sat (0.340)sat (0.386)sat (0.461)sat (0.369)sat (0.390)unknown (0.395)sat (0.392)
chc-LIA-Lin_179.smt2_13.smt2sat (0.413)sat (0.490)sat (0.379)sat (0.318)sat (0.382)sat (0.410)sat (0.392)sat (0.398)sat (0.394)sat (0.454)
chc-LIA-Lin_179.smt2_14.smt2sat (0.466)sat (0.610)sat (0.429)sat (0.451)sat (0.410)sat (0.411)sat (0.411)sat (0.405)sat (0.404)sat (0.422)
chc-LIA-Lin_179.smt2_15.smt2unsat (0.420)unsat (0.559)unsat (0.402)unsat (0.402)unsat (0.388)unsat (0.368)unsat (0.388)unsat (0.385)unsat (0.380)unsat (0.376)
chc-LIA-Lin_179.smt2_16.smt2sat (0.467)sat (0.612)sat (0.418)sat (0.429)sat (0.409)sat (0.400)sat (0.414)sat (0.413)sat (0.396)sat (0.413)
chc-LIA-Lin_179.smt2_17.smt2unsat (0.413)unsat (0.490)unsat (0.399)unsat (0.416)unsat (0.398)unsat (0.381)unsat (0.403)unsat (0.384)unsat (0.381)unsat (0.348)
chc-LIA-Lin_179.smt2_19.smt2sat (0.459)sat (0.550)sat (0.433)sat (0.444)sat (0.433)sat (0.419)sat (0.416)sat (0.419)sat (0.406)sat (0.430)
chc-LIA-Lin_179.smt2_20.smt2sat (0.471)sat (0.572)sat (0.424)sat (0.451)sat (0.414)sat (0.410)sat (0.408)sat (0.423)sat (0.421)sat (0.425)
chc-LIA-Lin_179.smt2_21.smt2unsat (0.409)unsat (0.537)unsat (0.387)unsat (0.412)unsat (0.389)unsat (0.392)unsat (0.407)unsat (0.403)unsat (0.398)unsat (0.381)
chc-LIA-Lin_179.smt2_22.smt2sat (0.428)sat (0.586)sat (0.427)sat (0.414)sat (0.409)sat (0.410)sat (0.418)sat (0.457)sat (0.392)sat (0.432)
chc-LIA-Lin_179.smt2_23.smt2sat (0.431)sat (0.577)sat (0.408)sat (0.399)sat (0.429)sat (0.392)sat (0.417)sat (0.424)sat (0.424)sat (0.417)
chc-LIA-Lin_179.smt2_24.smt2sat (0.430)sat (0.565)sat (0.417)sat (0.401)sat (0.412)sat (0.444)sat (0.433)sat (0.427)sat (0.410)sat (0.430)
chc-LIA-Lin_179.smt2_25.smt2unsat (0.465)unsat (0.524)unsat (0.407)unsat (0.392)unsat (0.394)unsat (0.427)unsat (0.400)unsat (0.410)unsat (0.397)unsat (0.372)
chc-LIA-Lin_179.smt2_29.smt2sat (0.465)sat (0.544)sat (0.427)sat (0.402)sat (0.419)sat (0.437)sat (0.431)sat (0.434)sat (0.414)sat (0.420)
chc-LIA-Lin_179.smt2_30.smt2sat (0.459)sat (0.520)sat (0.449)sat (0.418)sat (0.427)sat (0.440)sat (0.445)sat (0.432)unknown (0.418)sat (0.421)
chc-LIA-Lin_179.smt2_31.smt2sat (0.448)sat (0.574)sat (0.440)sat (0.440)sat (0.407)sat (0.432)sat (0.427)sat (0.446)sat (0.411)sat (0.435)
chc-LIA-Lin_179.smt2_32.smt2unsat (0.449)unsat (0.499)unsat (0.434)unsat (0.414)unsat (0.408)unsat (0.432)unsat (0.438)unsat (0.400)unsat (0.405)unsat (0.372)
chc-LIA-Lin_179.smt2_33.smt2sat (0.441)sat (0.534)sat (0.439)sat (0.431)sat (0.420)sat (0.435)sat (0.446)sat (0.421)sat (0.424)sat (0.422)
chc-LIA-Lin_179.smt2_38.smt2unsat (0.427)unsat (0.512)unsat (0.437)unsat (0.446)unsat (0.421)unsat (0.459)unsat (0.482)unsat (0.457)unsat (0.454)unsat (0.456)
chc-LIA-Lin_179.smt2_39.smt2sat (0.478)sat (0.537)sat (0.491)sat (0.450)sat (0.423)sat (0.464)sat (0.489)sat (0.513)sat (0.495)sat (0.496)
chc-LIA-Lin_179.smt2_40.smt2sat (0.491)sat (0.541)sat (0.500)sat (0.443)sat (0.472)sat (0.466)sat (0.501)sat (0.490)sat (0.492)sat (0.501)
chc-LIA-Lin_179.smt2_41.smt2unsat (0.478)unsat (0.488)unsat (0.453)unsat (0.471)unsat (0.341)unsat (0.376)unsat (0.402)unsat (0.420)unsat (0.393)unsat (0.409)
chc-LIA-Lin_179.smt2_43.smt2unsat (0.399)unsat (0.526)unsat (0.392)unsat (0.462)unsat (0.354)unsat (0.372)unsat (0.404)unsat (0.434)unsat (0.404)unsat (0.362)
chc-LIA-Lin_179.smt2_45.smt2unsat (0.473)unsat (0.515)unsat (0.397)unsat (0.460)unsat (0.344)unsat (0.401)unsat (0.413)unsat (0.426)unsat (0.438)unsat (0.373)
chc-LIA-Lin_179.smt2_46.smt2unsat (0.432)unsat (0.513)unsat (0.373)unsat (0.393)unsat (0.341)unsat (0.382)unsat (0.394)unsat (0.409)unsat (0.415)unsat (0.366)
chc-LIA-Lin_179.smt2_48.smt2unsat (0.423)unsat (0.500)unsat (0.387)unsat (0.411)unsat (0.349)unsat (0.408)unsat (0.405)unsat (0.408)unsat (0.409)unsat (0.381)
chc-LIA-Lin_179.smt2_49.smt2unsat (0.388)unsat (0.478)unsat (0.397)unsat (0.378)unsat (0.351)unsat (0.358)unsat (0.409)unsat (0.413)unsat (0.392)unsat (0.372)
chc-LIA-Lin_179.smt2_5.smt2sat (0.459)sat (0.561)sat (0.428)sat (0.447)sat (0.406)sat (0.402)sat (0.414)sat (0.419)sat (0.410)sat (0.390)
chc-LIA-Lin_179.smt2_50.smt2sat (0.418)sat (0.527)sat (0.397)sat (0.411)sat (0.358)sat (0.383)sat (0.409)sat (0.411)sat (0.425)sat (0.419)
chc-LIA-Lin_179.smt2_51.smt2sat (0.418)sat (0.517)sat (0.395)sat (0.396)sat (0.339)sat (0.402)sat (0.432)sat (0.436)unknown (0.405)sat (0.399)
chc-LIA-Lin_179.smt2_52.smt2unsat (0.401)unsat (0.474)unsat (0.383)unsat (0.370)unsat (0.330)unsat (0.371)unsat (0.419)unsat (0.407)unsat (0.404)unsat (0.360)
chc-LIA-Lin_179.smt2_54.smt2sat (0.425)sat (0.564)sat (0.422)sat (0.404)sat (0.363)sat (0.406)sat (0.413)sat (0.434)sat (0.412)sat (0.424)
chc-LIA-Lin_179.smt2_55.smt2sat (0.423)sat (0.555)sat (0.404)sat (0.400)sat (0.347)sat (0.378)sat (0.407)sat (0.419)sat (0.421)sat (0.407)
chc-LIA-Lin_179.smt2_56.smt2unsat (0.403)unsat (0.466)unsat (0.378)unsat (0.389)unsat (0.331)unsat (0.369)unsat (0.404)unsat (0.436)unsat (0.393)unsat (0.376)
chc-LIA-Lin_179.smt2_57.smt2sat (0.387)sat (0.533)sat (0.418)sat (0.385)sat (0.430)sat (0.402)sat (0.396)sat (0.407)sat (0.369)sat (0.471)
chc-LIA-Lin_179.smt2_58.smt2sat (0.474)sat (0.517)sat (0.429)sat (0.400)sat (0.393)sat (0.407)sat (0.348)sat (0.404)sat (0.381)sat (0.405)
chc-LIA-Lin_179.smt2_59.smt2sat (0.422)sat (0.556)sat (0.420)sat (0.416)sat (0.408)sat (0.393)sat (0.414)sat (0.395)sat (0.362)sat (0.408)
chc-LIA-Lin_179.smt2_6.smt2sat (0.438)sat (0.542)sat (0.445)sat (0.412)sat (0.430)sat (0.432)sat (0.404)sat (0.411)sat (0.412)sat (0.391)
chc-LIA-Lin_179.smt2_60.smt2unsat (0.405)unsat (0.524)unsat (0.412)unsat (0.411)unsat (0.393)unsat (0.379)unsat (0.384)unsat (0.370)unsat (0.384)unsat (0.364)
chc-LIA-Lin_179.smt2_62.smt2unsat (0.398)unsat (0.489)unsat (0.408)unsat (0.425)unsat (0.408)unsat (0.383)unsat (0.398)unsat (0.411)unsat (0.383)unsat (0.363)
chc-LIA-Lin_179.smt2_63.smt2sat (0.431)sat (0.541)sat (0.431)sat (0.445)sat (0.414)sat (0.392)sat (0.397)sat (0.418)unknown (0.392)sat (0.405)
chc-LIA-Lin_179.smt2_64.smt2sat (0.417)sat (0.533)sat (0.431)sat (0.419)sat (0.387)sat (0.393)sat (0.420)sat (0.416)sat (0.406)sat (0.410)
chc-LIA-Lin_179.smt2_65.smt2unsat (0.394)unsat (0.526)unsat (0.420)unsat (0.421)unsat (0.397)unsat (0.368)unsat (0.374)unsat (0.413)unsat (0.395)unsat (0.327)
chc-LIA-Lin_179.smt2_66.smt2sat (0.410)sat (0.563)sat (0.411)sat (0.435)sat (0.398)sat (0.413)sat (0.387)sat (0.421)sat (0.413)sat (0.441)
chc-LIA-Lin_179.smt2_67.smt2sat (0.418)sat (0.569)sat (0.414)sat (0.415)sat (0.425)sat (0.410)sat (0.428)sat (0.428)sat (0.389)sat (0.397)
chc-LIA-Lin_179.smt2_68.smt2sat (0.407)sat (0.507)sat (0.406)sat (0.425)sat (0.431)sat (0.440)sat (0.418)sat (0.404)sat (0.405)sat (0.393)
chc-LIA-Lin_179.smt2_69.smt2unsat (0.431)unsat (0.483)unsat (0.419)unsat (0.397)unsat (0.408)unsat (0.403)unsat (0.396)unsat (0.393)unsat (0.391)unsat (0.355)
chc-LIA-Lin_179.smt2_7.smt2unsat (0.393)unsat (0.503)unsat (0.397)unsat (0.447)unsat (0.387)unsat (0.355)unsat (0.392)unsat (0.406)unsat (0.399)unsat (0.360)
chc-LIA-Lin_179.smt2_71.smt2unsat (0.422)unsat (0.489)unsat (0.412)unsat (0.400)unsat (0.472)unsat (0.400)unsat (0.407)unsat (0.404)unsat (0.390)unsat (0.330)
chc-LIA-Lin_179.smt2_72.smt2unsat (0.410)unsat (0.517)unsat (0.444)unsat (0.417)unsat (0.465)unsat (0.417)unsat (0.411)unsat (0.412)unsat (0.399)unsat (0.355)
chc-LIA-Lin_179.smt2_73.smt2sat (0.441)sat (0.534)sat (0.440)sat (0.415)sat (0.445)sat (0.459)sat (0.426)sat (0.422)sat (0.404)sat (0.392)
chc-LIA-Lin_179.smt2_74.smt2unsat (0.440)unsat (0.485)unsat (0.443)unsat (0.409)unsat (0.469)unsat (0.464)unsat (0.414)unsat (0.409)unsat (0.406)unsat (0.424)
chc-LIA-Lin_179.smt2_76.smt2unsat (0.440)unsat (0.494)unsat (0.436)unsat (0.416)unsat (0.475)unsat (0.450)unsat (0.452)unsat (0.429)unsat (0.446)unsat (0.426)
chc-LIA-Lin_179.smt2_77.smt2unsat (0.473)unsat (0.474)unsat (0.457)unsat (0.434)unsat (0.433)unsat (0.433)unsat (0.484)unsat (0.401)unsat (0.466)unsat (0.446)
chc-LIA-Lin_179.smt2_78.smt2sat (0.483)sat (0.553)sat (0.480)sat (0.426)sat (0.377)sat (0.364)sat (0.497)sat (0.403)unknown (0.478)sat (0.393)
chc-LIA-Lin_179.smt2_79.smt2sat (0.496)sat (0.568)sat (0.476)sat (0.443)sat (0.397)sat (0.394)sat (0.388)sat (0.446)unknown (0.510)sat (0.421)
chc-LIA-Lin_179.smt2_80.smt2unsat (0.399)unsat (0.436)unsat (0.372)unsat (0.458)unsat (0.376)unsat (0.376)unsat (0.374)unsat (0.400)unsat (0.389)unsat (0.366)
chc-LIA-Lin_179.smt2_81.smt2sat (0.402)sat (0.540)sat (0.407)sat (0.488)sat (0.383)sat (0.380)sat (0.397)sat (0.411)unknown (0.404)sat (0.399)
chc-LIA-Lin_179.smt2_83.smt2sat (0.431)sat (0.518)sat (0.416)sat (0.490)sat (0.364)sat (0.394)sat (0.398)sat (0.417)unknown (0.427)sat (0.421)
chc-LIA-Lin_179.smt2_84.smt2sat (0.407)sat (0.552)sat (0.409)sat (0.416)sat (0.380)sat (0.356)sat (0.391)sat (0.441)sat (0.412)sat (0.380)
chc-LIA-Lin_179.smt2_85.smt2unsat (0.384)unsat (0.502)unsat (0.384)unsat (0.373)unsat (0.360)unsat (0.376)unsat (0.395)unsat (0.399)unsat (0.413)unsat (0.375)
chc-LIA-Lin_179.smt2_87.smt2sat (0.402)sat (0.518)sat (0.403)sat (0.417)sat (0.367)sat (0.367)sat (0.401)sat (0.399)sat (0.415)sat (0.409)
chc-LIA-Lin_179.smt2_88.smt2sat (0.417)sat (0.583)sat (0.407)sat (0.423)sat (0.396)sat (0.375)sat (0.406)sat (0.467)unknown (0.446)sat (0.400)
chc-LIA-Lin_179.smt2_89.smt2sat (0.416)sat (0.576)sat (0.407)sat (0.396)sat (0.387)sat (0.384)sat (0.396)sat (0.445)sat (0.415)sat (0.403)
chc-LIA-Lin_179.smt2_90.smt2unsat (0.403)unsat (0.543)unsat (0.401)unsat (0.388)unsat (0.383)unsat (0.353)unsat (0.396)unsat (0.432)unsat (0.391)unsat (0.368)
chc-LIA-Lin_179.smt2_91.smt2sat (0.414)sat (0.591)sat (0.426)sat (0.418)sat (0.423)sat (0.394)sat (0.349)sat (0.410)sat (0.364)sat (0.418)
chc-LIA-Lin_179.smt2_93.smt2sat (0.424)sat (0.570)sat (0.416)sat (0.409)sat (0.423)sat (0.397)sat (0.341)sat (0.404)unknown (0.356)sat (0.417)
chc-LIA-Lin_179.smt2_94.smt2sat (0.468)sat (0.534)sat (0.445)sat (0.432)sat (0.391)sat (0.406)sat (0.402)sat (0.407)sat (0.377)sat (0.405)
chc-LIA-Lin_179.smt2_95.smt2unsat (0.467)unsat (0.475)unsat (0.406)unsat (0.432)unsat (0.382)unsat (0.387)unsat (0.396)unsat (0.381)unsat (0.399)unsat (0.369)
chc-LIA-Lin_179.smt2_97.smt2sat (0.533)sat (0.519)sat (0.432)sat (0.414)sat (0.334)sat (0.378)sat (0.404)sat (0.359)sat (0.408)sat (0.382)
chc-LIA-Lin_179.smt2_98.smt2sat (0.455)sat (0.523)sat (0.421)sat (0.436)sat (0.348)sat (0.411)sat (0.398)sat (0.343)sat (0.402)sat (0.392)
chc-LIA-Lin_179.smt2_99.smt2sat (0.487)sat (0.563)sat (0.441)sat (0.437)sat (0.375)sat (0.368)sat (0.404)sat (0.366)sat (0.389)sat (0.388)
chc-LIA-Lin_298.smt2_0.smt2unsat (0.407)unsat (0.551)unsat (0.365)unsat (0.468)unsat (0.380)unsat (0.409)unsat (0.415)unsat (0.402)unsat (0.413)unsat (0.387)
chc-LIA-Lin_298.smt2_1.smt2sat (0.395)sat (0.573)sat (0.360)sat (0.448)sat (0.372)sat (0.381)sat (0.398)sat (0.383)unknown (0.388)sat (0.390)
chc-LIA-Lin_298.smt2_2.smt2unsat (0.362)unsat (0.493)unsat (0.356)unsat (0.419)unsat (0.367)unsat (0.425)unsat (0.391)unsat (0.388)unsat (0.378)unsat (0.367)
chc-LIA-Lin_298.smt2_3.smt2unsat (0.361)unsat (0.516)unsat (0.349)unsat (0.430)unsat (0.366)unsat (0.428)unsat (0.387)unsat (0.375)unsat (0.381)unsat (0.376)
chc-LIA-Lin_300.smt2_10.smt2sat (0.360)sat (0.518)sat (0.356)sat (0.409)sat (0.378)sat (0.412)sat (0.391)sat (0.393)sat (0.394)sat (0.394)
chc-LIA-Lin_300.smt2_11.smt2sat (0.371)sat (0.553)sat (0.351)sat (0.406)sat (0.364)sat (0.423)sat (0.391)sat (0.379)sat (0.387)sat (0.390)
chc-LIA-Lin_300.smt2_12.smt2unsat (0.395)unsat (0.524)unsat (0.374)unsat (0.302)unsat (0.370)unsat (0.477)unsat (0.388)unsat (0.371)unsat (0.373)unsat (0.364)
chc-LIA-Lin_300.smt2_14.smt2sat (0.437)sat (0.552)sat (0.389)sat (0.335)sat (0.400)sat (0.372)sat (0.395)sat (0.386)sat (0.394)sat (0.388)
chc-LIA-Lin_300.smt2_15.smt2sat (0.428)sat (0.493)sat (0.397)sat (0.349)sat (0.385)sat (0.384)sat (0.389)sat (0.379)sat (0.402)sat (0.460)
chc-LIA-Lin_300.smt2_16.smt2unsat (0.446)unsat (0.603)unsat (0.436)unsat (0.448)unsat (0.415)unsat (0.419)unsat (0.423)unsat (0.420)unsat (0.403)unsat (0.404)
chc-LIA-Lin_300.smt2_17.smt2sat (0.427)sat (0.580)sat (0.425)sat (0.428)sat (0.428)sat (0.396)sat (0.407)sat (0.412)sat (0.413)sat (0.413)
chc-LIA-Lin_300.smt2_18.smt2unsat (0.424)unsat (0.575)unsat (0.414)unsat (0.416)unsat (0.399)unsat (0.407)unsat (0.402)unsat (0.439)unsat (0.398)unsat (0.393)
chc-LIA-Lin_300.smt2_2.smt2sat (0.443)sat (0.534)sat (0.447)sat (0.401)sat (0.405)sat (0.421)sat (0.408)sat (0.428)sat (0.413)sat (0.416)
chc-LIA-Lin_300.smt2_20.smt2unsat (0.425)unsat (0.519)unsat (0.417)unsat (0.415)unsat (0.407)unsat (0.386)unsat (0.385)unsat (0.407)unsat (0.398)unsat (0.394)
chc-LIA-Lin_300.smt2_21.smt2sat (0.417)sat (0.540)sat (0.423)sat (0.400)sat (0.384)sat (0.395)sat (0.412)sat (0.426)sat (0.409)sat (0.404)
chc-LIA-Lin_300.smt2_22.smt2sat (0.425)sat (0.539)sat (0.407)sat (0.414)sat (0.387)sat (0.399)sat (0.421)sat (0.421)sat (0.417)sat (0.422)
chc-LIA-Lin_300.smt2_23.smt2unsat (0.402)unsat (0.540)unsat (0.393)unsat (0.412)unsat (0.374)unsat (0.404)unsat (0.405)unsat (0.416)unsat (0.418)unsat (0.408)
chc-LIA-Lin_300.smt2_24.smt2sat (0.417)sat (0.539)sat (0.403)sat (0.403)sat (0.389)sat (0.394)sat (0.421)sat (0.414)sat (0.436)sat (0.409)
chc-LIA-Lin_300.smt2_25.smt2sat (0.441)sat (0.557)sat (0.396)sat (0.417)sat (0.388)sat (0.418)sat (0.435)sat (0.410)sat (0.424)sat (0.413)
chc-LIA-Lin_300.smt2_26.smt2sat (0.403)sat (0.542)sat (0.405)sat (0.397)sat (0.377)sat (0.421)sat (0.417)sat (0.419)sat (0.404)sat (0.420)
chc-LIA-Lin_300.smt2_27.smt2sat (0.397)sat (0.556)sat (0.395)sat (0.388)sat (0.411)sat (0.433)sat (0.428)sat (0.418)sat (0.391)sat (0.424)
chc-LIA-Lin_300.smt2_28.smt2unsat (0.439)unsat (0.501)unsat (0.419)unsat (0.396)unsat (0.400)unsat (0.463)unsat (0.404)unsat (0.416)unsat (0.412)unsat (0.372)
chc-LIA-Lin_300.smt2_3.smt2unsat (0.436)unsat (0.475)unsat (0.424)unsat (0.419)unsat (0.507)unsat (0.466)unsat (0.466)unsat (0.473)unsat (0.446)unsat (0.473)
chc-LIA-Lin_300.smt2_30.smt2unsat (0.446)unsat (0.499)unsat (0.439)unsat (0.422)unsat (0.398)unsat (0.447)unsat (0.437)unsat (0.420)unsat (0.403)unsat (0.384)
chc-LIA-Lin_300.smt2_31.smt2sat (0.451)sat (0.556)sat (0.437)sat (0.441)sat (0.406)sat (0.426)sat (0.430)sat (0.412)sat (0.425)sat (0.420)
chc-LIA-Lin_300.smt2_32.smt2unsat (0.440)unsat (0.512)unsat (0.429)unsat (0.419)unsat (0.396)unsat (0.414)unsat (0.434)unsat (0.403)unsat (0.408)unsat (0.380)
chc-LIA-Lin_300.smt2_33.smt2unsat (0.434)unsat (0.476)unsat (0.433)unsat (0.419)unsat (0.388)unsat (0.415)unsat (0.435)unsat (0.406)unsat (0.388)unsat (0.377)
chc-LIA-Lin_300.smt2_5.smt2unsat (0.487)unsat (0.494)unsat (0.479)unsat (0.450)unsat (0.488)unsat (0.473)unsat (0.462)unsat (0.482)unsat (0.464)unsat (0.456)
chc-LIA-Lin_300.smt2_6.smt2unsat (0.472)unsat (0.499)unsat (0.467)unsat (0.425)unsat (0.426)unsat (0.458)unsat (0.460)unsat (0.477)unsat (0.479)unsat (0.454)
chc-LIA-Lin_300.smt2_7.smt2sat (0.485)sat (0.529)sat (0.487)sat (0.464)sat (0.470)sat (0.412)sat (0.401)sat (0.415)sat (0.408)sat (0.438)
chc-LIA-Lin_300.smt2_8.smt2sat (0.430)sat (0.544)sat (0.399)sat (0.473)sat (0.387)sat (0.363)sat (0.414)sat (0.425)sat (0.412)sat (0.426)
chc-LIA-Lin_300.smt2_9.smt2unsat (0.397)unsat (0.520)unsat (0.394)unsat (0.470)unsat (0.396)unsat (0.377)unsat (0.427)unsat (0.413)unsat (0.404)unsat (0.385)
chc-LIA-Lin_301.smt2_0.smt2sat (0.401)sat (0.532)sat (0.408)sat (0.396)sat (0.389)sat (0.370)sat (0.406)sat (0.418)sat (0.404)sat (0.410)
chc-LIA-Lin_301.smt2_1.smt2unsat (0.413)unsat (0.452)unsat (0.423)unsat (0.381)unsat (0.397)unsat (0.392)unsat (0.398)unsat (0.398)unsat (0.341)unsat (0.367)
chc-LIA-Lin_301.smt2_10.smt2unsat (0.416)unsat (0.497)unsat (0.396)unsat (0.390)unsat (0.421)unsat (0.377)unsat (0.409)unsat (0.431)unsat (0.410)unsat (0.367)
chc-LIA-Lin_301.smt2_11.smt2sat (0.400)sat (0.527)sat (0.402)sat (0.395)sat (0.404)sat (0.407)sat (0.415)sat (0.421)sat (0.408)sat (0.414)
chc-LIA-Lin_301.smt2_12.smt2sat (0.412)sat (0.519)sat (0.400)sat (0.388)sat (0.509)sat (0.360)sat (0.407)sat (0.438)sat (0.420)sat (0.427)
chc-LIA-Lin_301.smt2_13.smt2unsat (0.405)unsat (0.482)unsat (0.407)unsat (0.377)unsat (0.413)unsat (0.323)unsat (0.420)unsat (0.422)unsat (0.387)unsat (0.332)
chc-LIA-Lin_301.smt2_15.smt2sat (0.403)sat (0.553)sat (0.412)sat (0.408)sat (0.405)sat (0.409)sat (0.425)sat (0.422)sat (0.409)sat (0.426)
chc-LIA-Lin_301.smt2_16.smt2sat (0.405)sat (0.538)sat (0.407)sat (0.381)sat (0.413)sat (0.397)sat (0.416)sat (0.441)sat (0.423)sat (0.402)
chc-LIA-Lin_301.smt2_17.smt2unsat (0.415)unsat (0.549)unsat (0.417)unsat (0.407)unsat (0.514)unsat (0.418)unsat (0.403)unsat (0.436)unsat (0.401)unsat (0.392)
chc-LIA-Lin_301.smt2_18.smt2sat (0.415)sat (0.513)sat (0.404)sat (0.406)sat (0.435)sat (0.421)sat (0.422)sat (0.442)sat (0.422)sat (0.490)
chc-LIA-Lin_301.smt2_19.smt2sat (0.405)sat (0.512)sat (0.411)sat (0.413)sat (0.419)sat (0.397)sat (0.389)sat (0.411)sat (0.386)sat (0.410)
chc-LIA-Lin_301.smt2_2.smt2sat (0.407)sat (0.541)sat (0.429)sat (0.413)sat (0.411)sat (0.415)sat (0.402)sat (0.432)sat (0.414)sat (0.353)
chc-LIA-Lin_301.smt2_20.smt2unsat (0.442)unsat (0.561)unsat (0.434)unsat (0.422)unsat (0.428)unsat (0.414)unsat (0.408)unsat (0.412)unsat (0.373)unsat (0.400)
chc-LIA-Lin_301.smt2_21.smt2sat (0.442)sat (0.560)sat (0.449)sat (0.448)sat (0.405)sat (0.404)sat (0.420)sat (0.411)sat (0.407)sat (0.415)
chc-LIA-Lin_301.smt2_23.smt2unsat (0.421)unsat (0.516)unsat (0.406)unsat (0.422)unsat (0.407)unsat (0.392)unsat (0.401)unsat (0.355)unsat (0.415)unsat (0.395)
chc-LIA-Lin_301.smt2_24.smt2sat (0.436)sat (0.523)sat (0.421)sat (0.448)sat (0.416)sat (0.392)sat (0.409)sat (0.425)sat (0.425)sat (0.400)
chc-LIA-Lin_301.smt2_26.smt2unsat (0.405)unsat (0.526)unsat (0.411)unsat (0.398)unsat (0.416)unsat (0.400)unsat (0.395)unsat (0.421)unsat (0.397)unsat (0.388)
chc-LIA-Lin_301.smt2_27.smt2sat (0.421)sat (0.530)sat (0.402)sat (0.407)sat (0.416)sat (0.394)sat (0.404)sat (0.428)sat (0.411)sat (0.405)
chc-LIA-Lin_301.smt2_29.smt2unsat (0.394)unsat (0.526)unsat (0.398)unsat (0.398)unsat (0.407)unsat (0.414)unsat (0.408)unsat (0.409)unsat (0.407)unsat (0.341)
chc-LIA-Lin_301.smt2_3.smt2sat (0.456)sat (0.498)sat (0.422)sat (0.413)sat (0.435)sat (0.421)sat (0.405)sat (0.413)sat (0.414)sat (0.376)
chc-LIA-Lin_301.smt2_31.smt2sat (0.425)sat (0.538)sat (0.411)sat (0.403)sat (0.442)sat (0.451)sat (0.419)sat (0.398)sat (0.413)sat (0.396)
chc-LIA-Lin_301.smt2_32.smt2unsat (0.359)unsat (0.471)unsat (0.397)unsat (0.403)unsat (0.426)unsat (0.411)unsat (0.410)unsat (0.413)unsat (0.390)unsat (0.358)
chc-LIA-Lin_301.smt2_33.smt2sat (0.447)sat (0.513)sat (0.456)sat (0.402)sat (0.434)sat (0.422)sat (0.410)sat (0.406)sat (0.407)sat (0.401)
chc-LIA-Lin_301.smt2_35.smt2unsat (0.419)unsat (0.503)unsat (0.450)unsat (0.379)unsat (0.417)unsat (0.419)unsat (0.415)unsat (0.416)unsat (0.375)unsat (0.364)
chc-LIA-Lin_301.smt2_4.smt2unsat (0.367)unsat (0.498)unsat (0.425)unsat (0.400)unsat (0.429)unsat (0.416)unsat (0.407)unsat (0.404)unsat (0.396)unsat (0.350)
chc-LIA-Lin_301.smt2_6.smt2unsat (0.431)unsat (0.519)unsat (0.418)unsat (0.403)unsat (0.431)unsat (0.431)unsat (0.408)unsat (0.398)unsat (0.389)unsat (0.367)
chc-LIA-Lin_301.smt2_7.smt2unsat (0.416)unsat (0.478)unsat (0.423)unsat (0.409)unsat (0.461)unsat (0.429)unsat (0.406)unsat (0.399)unsat (0.388)unsat (0.395)
chc-LIA-Lin_301.smt2_8.smt2sat (0.435)sat (0.527)sat (0.423)sat (0.459)sat (0.481)sat (0.420)sat (0.425)sat (0.413)sat (0.415)sat (0.484)
chc-LIA-Lin_303.smt2_0.smt2sat (0.462)sat (0.540)sat (0.478)sat (0.430)sat (0.434)sat (0.465)sat (0.482)sat (0.415)unknown (0.480)sat (0.492)
chc-LIA-Lin_303.smt2_1.smt2unsat (0.408)unsat (0.536)unsat (0.396)unsat (0.401)unsat (0.400)unsat (0.386)unsat (0.416)unsat (0.363)unsat (0.415)unsat (0.387)
chc-LIA-Lin_303.smt2_10.smt2sat (0.477)sat (0.549)sat (0.486)sat (0.446)sat (0.408)sat (0.374)sat (0.474)sat (0.412)unknown (0.487)sat (0.415)
chc-LIA-Lin_303.smt2_12.smt2unsat (0.462)unsat (0.539)unsat (0.461)unsat (0.444)unsat (0.403)unsat (0.396)unsat (0.405)unsat (0.414)unsat (0.464)unsat (0.413)
chc-LIA-Lin_303.smt2_13.smt2sat (0.428)sat (0.563)sat (0.441)sat (0.465)sat (0.401)sat (0.384)sat (0.398)sat (0.423)unknown (0.434)sat (0.392)
chc-LIA-Lin_303.smt2_14.smt2sat (0.413)sat (0.555)sat (0.447)sat (0.445)sat (0.412)sat (0.393)sat (0.407)sat (0.412)unknown (0.421)sat (0.421)
chc-LIA-Lin_303.smt2_15.smt2unsat (0.441)unsat (0.499)unsat (0.400)unsat (0.442)unsat (0.389)unsat (0.381)unsat (0.406)unsat (0.354)unsat (0.418)unsat (0.384)
chc-LIA-Lin_303.smt2_17.smt2sat (0.434)sat (0.545)sat (0.445)sat (0.475)sat (0.420)sat (0.414)sat (0.443)sat (0.436)unknown (0.448)sat (0.434)
chc-LIA-Lin_303.smt2_18.smt2sat (0.440)sat (0.547)sat (0.437)sat (0.474)sat (0.429)sat (0.414)sat (0.451)sat (0.446)unknown (0.425)sat (0.406)
chc-LIA-Lin_303.smt2_19.smt2unsat (0.522)unsat (0.569)unsat (0.660)unsat (0.537)unsat (0.499)unsat (0.491)unsat (0.511)unsat (0.474)unsat (0.522)unsat (1.521)
chc-LIA-Lin_303.smt2_2.smt2unsat (0.545)unsat (0.520)unsat (0.426)unsat (0.430)unsat (0.418)unsat (0.377)unsat (0.379)unsat (0.384)unsat (0.382)unsat (0.369)
chc-LIA-Lin_303.smt2_20.smt2sat (0.464)sat (0.596)sat (0.428)sat (0.440)sat (0.437)sat (0.449)sat (0.450)sat (0.505)unknown (0.448)sat (0.446)
chc-LIA-Lin_303.smt2_21.smt2unsat (0.424)unsat (0.570)unsat (0.394)unsat (0.420)unsat (0.411)unsat (0.390)unsat (0.388)unsat (0.444)unsat (0.413)unsat (0.398)
chc-LIA-Lin_303.smt2_23.smt2sat (0.457)sat (0.548)sat (0.421)sat (0.454)sat (0.441)sat (0.399)sat (0.412)sat (0.484)unknown (0.443)sat (0.409)
chc-LIA-Lin_303.smt2_24.smt2sat (0.493)sat (0.577)sat (0.455)sat (0.414)sat (0.461)sat (0.453)sat (0.388)sat (0.449)unknown (0.414)sat (0.432)
chc-LIA-Lin_303.smt2_25.smt2unsat (0.483)unsat (0.593)unsat (0.471)unsat (0.501)unsat (0.505)unsat (0.507)unsat (0.414)unsat (0.487)unsat (0.457)unsat (0.484)
chc-LIA-Lin_303.smt2_26.smt2sat (0.555)sat (0.526)sat (0.479)sat (0.455)sat (0.427)sat (0.422)sat (0.421)sat (0.413)unknown (0.411)sat (0.425)
chc-LIA-Lin_303.smt2_27.smt2unsat (0.501)unsat (0.578)unsat (0.420)unsat (0.439)unsat (0.393)unsat (0.403)unsat (0.397)unsat (0.395)unsat (0.399)unsat (0.392)
chc-LIA-Lin_303.smt2_28.smt2sat (0.524)sat (0.529)sat (0.461)sat (0.440)sat (0.360)sat (0.414)sat (0.394)sat (0.405)unknown (0.415)sat (0.359)
chc-LIA-Lin_303.smt2_29.smt2sat (0.514)sat (0.546)sat (0.455)sat (0.454)sat (0.353)sat (0.400)sat (0.406)sat (0.465)unknown (0.418)sat (0.372)
chc-LIA-Lin_303.smt2_30.smt2sat (0.454)sat (0.552)sat (0.371)sat (0.446)sat (0.360)sat (0.399)sat (0.394)sat (0.387)unknown (0.388)sat (0.373)
chc-LIA-Lin_303.smt2_31.smt2unsat (0.411)unsat (0.540)unsat (0.347)unsat (0.426)unsat (0.354)unsat (0.379)unsat (0.385)unsat (0.382)unsat (0.385)unsat (0.384)
chc-LIA-Lin_303.smt2_4.smt2sat (0.405)sat (0.527)sat (0.360)sat (0.432)sat (0.357)sat (0.431)sat (0.393)sat (0.386)unknown (0.397)sat (0.386)
chc-LIA-Lin_303.smt2_5.smt2unsat (0.379)unsat (0.518)unsat (0.346)unsat (0.411)unsat (0.369)unsat (0.419)unsat (0.381)unsat (0.372)unsat (0.379)unsat (0.369)
chc-LIA-Lin_303.smt2_7.smt2unsat (0.372)unsat (0.506)unsat (0.353)unsat (0.435)unsat (0.373)unsat (0.417)unsat (0.386)unsat (0.393)unsat (0.388)unsat (0.371)
chc-LIA-Lin_303.smt2_8.smt2unsat (0.401)unsat (0.558)unsat (0.351)unsat (0.437)unsat (0.369)unsat (0.419)unsat (0.378)unsat (0.376)unsat (0.378)unsat (0.380)
chc-LIA-Lin_303.smt2_9.smt2unsat (0.454)unsat (0.542)unsat (0.401)unsat (0.311)unsat (0.369)unsat (0.436)unsat (0.395)unsat (0.390)unsat (0.380)unsat (0.364)
chc-LIA-Lin_304.smt2_0.smt2unsat (0.443)unsat (0.568)unsat (0.402)unsat (0.350)unsat (0.403)unsat (0.453)unsat (0.409)unsat (0.396)unsat (0.395)unsat (0.385)
chc-LIA-Lin_304.smt2_1.smt2sat (0.408)sat (0.497)sat (0.389)sat (0.324)sat (0.388)sat (0.391)sat (0.384)sat (0.398)unknown (0.400)sat (0.459)
chc-LIA-Lin_304.smt2_2.smt2unsat (0.440)unsat (0.595)unsat (0.438)unsat (0.430)unsat (0.403)unsat (0.418)unsat (0.415)unsat (0.395)unsat (0.391)unsat (0.388)
chc-LIA-Lin_304.smt2_3.smt2unsat (0.428)unsat (0.524)unsat (0.400)unsat (0.439)unsat (0.409)unsat (0.407)unsat (0.387)unsat (0.402)unsat (0.402)unsat (0.389)
chc-LIA-Lin_305.smt2_1.smt2unsat (0.408)unsat (0.505)unsat (0.414)unsat (0.395)unsat (0.425)unsat (0.428)unsat (0.414)unsat (0.411)unsat (0.367)unsat (0.367)
chc-LIA-Lin_305.smt2_11.smt2unsat (0.432)unsat (0.589)unsat (0.409)unsat (0.441)unsat (0.389)unsat (0.412)unsat (0.410)unsat (0.395)unsat (0.390)unsat (0.385)
chc-LIA-Lin_305.smt2_12.smt2sat (0.448)sat (0.581)sat (0.461)sat (0.418)sat (0.402)sat (0.397)sat (0.412)sat (0.404)unknown (0.432)sat (0.419)
chc-LIA-Lin_305.smt2_13.smt2sat (0.456)sat (0.552)sat (0.453)sat (0.420)sat (0.502)sat (0.414)sat (0.413)sat (0.417)unknown (0.411)sat (0.400)
chc-LIA-Lin_305.smt2_14.smt2unsat (0.411)unsat (0.536)unsat (0.408)unsat (0.428)unsat (0.377)unsat (0.398)unsat (0.417)unsat (0.424)unsat (0.410)unsat (0.405)
chc-LIA-Lin_305.smt2_16.smt2sat (0.438)sat (0.592)sat (0.440)sat (0.466)sat (0.425)sat (0.431)sat (0.428)sat (0.439)unknown (0.429)sat (0.436)
chc-LIA-Lin_305.smt2_17.smt2sat (0.416)sat (0.620)sat (0.439)sat (0.434)sat (0.415)sat (0.438)sat (0.430)sat (0.453)unknown (0.423)sat (0.439)
chc-LIA-Lin_305.smt2_18.smt2unsat (0.525)unsat (0.570)unsat (0.667)unsat (0.501)unsat (0.571)unsat (0.506)unsat (0.516)unsat (0.506)unsat (0.467)unsat (0.454)
chc-LIA-Lin_305.smt2_19.smt2sat (0.484)sat (0.598)sat (0.402)sat (0.479)sat (0.546)sat (0.479)sat (0.453)sat (0.463)unknown (0.446)sat (0.445)
chc-LIA-Lin_305.smt2_2.smt2unsat (0.484)unsat (0.504)unsat (0.470)unsat (0.422)unsat (0.474)unsat (0.459)unsat (0.477)unsat (0.517)unsat (0.467)unsat (0.426)
chc-LIA-Lin_305.smt2_20.smt2unsat (0.455)unsat (0.536)unsat (0.448)unsat (0.400)unsat (0.424)unsat (0.446)unsat (0.406)unsat (0.408)unsat (0.405)unsat (0.410)
chc-LIA-Lin_305.smt2_22.smt2sat (0.460)sat (0.575)sat (0.476)sat (0.429)sat (0.478)sat (0.492)sat (0.478)sat (0.502)unknown (0.419)sat (0.421)
chc-LIA-Lin_305.smt2_23.smt2sat (0.482)sat (0.555)sat (0.471)sat (0.472)sat (0.495)sat (0.506)sat (0.483)sat (0.464)unknown (0.421)sat (0.431)
chc-LIA-Lin_305.smt2_24.smt2unsat (0.483)unsat (0.564)unsat (0.547)unsat (0.484)unsat (0.510)unsat (0.500)unsat (0.475)unsat (0.475)unsat (0.454)unsat (0.445)
chc-LIA-Lin_305.smt2_25.smt2sat (0.436)sat (0.596)sat (0.472)sat (0.455)sat (0.455)sat (0.471)sat (0.446)sat (0.443)unknown (0.430)sat (0.432)
chc-LIA-Lin_305.smt2_26.smt2unsat (0.410)unsat (0.523)unsat (0.437)unsat (0.417)unsat (0.429)unsat (0.442)unsat (0.415)unsat (0.416)unsat (0.397)unsat (0.422)
chc-LIA-Lin_305.smt2_29.smt2sat (0.457)sat (0.553)sat (0.465)sat (0.450)sat (0.478)sat (0.502)sat (0.455)sat (0.484)unknown (0.435)sat (0.476)
chc-LIA-Lin_305.smt2_3.smt2sat (0.407)sat (0.586)sat (0.420)sat (0.453)sat (0.402)sat (0.381)sat (0.419)sat (0.420)unknown (0.407)sat (0.430)
chc-LIA-Lin_305.smt2_30.smt2unsat (0.459)unsat (0.527)unsat (0.457)unsat (0.432)unsat (0.428)unsat (0.466)unsat (0.463)unsat (0.468)unsat (0.456)unsat (0.476)
chc-LIA-Lin_305.smt2_32.smt2unsat (0.465)unsat (0.530)unsat (0.443)unsat (0.427)unsat (0.405)unsat (0.371)unsat (0.408)unsat (0.423)unsat (0.386)unsat (0.422)
chc-LIA-Lin_305.smt2_33.smt2sat (0.422)sat (0.545)sat (0.477)sat (0.442)sat (0.404)sat (0.385)sat (0.411)sat (0.440)unknown (0.401)sat (0.403)
chc-LIA-Lin_305.smt2_4.smt2sat (0.423)sat (0.577)sat (0.412)sat (0.413)sat (0.406)sat (0.389)sat (0.414)sat (0.426)unknown (0.400)sat (0.399)
chc-LIA-Lin_305.smt2_5.smt2unsat (0.430)unsat (0.527)unsat (0.397)unsat (0.413)unsat (0.398)unsat (0.379)unsat (0.397)unsat (0.427)unsat (0.396)unsat (0.416)
chc-LIA-Lin_305.smt2_6.smt2sat (0.442)sat (0.538)sat (0.436)sat (0.430)sat (0.413)sat (0.412)sat (0.425)sat (0.412)unknown (0.429)sat (0.404)
chc-LIA-Lin_305.smt2_7.smt2unsat (0.407)unsat (0.625)unsat (0.391)unsat (0.395)unsat (0.395)unsat (0.386)unsat (0.410)unsat (0.406)unsat (0.402)unsat (0.405)
chc-LIA-Lin_305.smt2_8.smt2unsat (0.413)unsat (0.517)unsat (0.397)unsat (0.420)unsat (0.407)unsat (0.312)unsat (0.404)unsat (0.402)unsat (0.402)unsat (0.327)
chc-LIA-Lin_305.smt2_9.smt2sat (0.431)sat (0.572)sat (0.425)sat (0.405)sat (0.407)sat (0.396)sat (0.424)sat (0.424)unknown (0.415)sat (0.421)