| benchmark name | SwInE Z3 | SwInE Legacy | SwInE Z3 no rewriting | SwInE Z3 no symmetry | SwInE Z3 no monotonicity | SwInE Z3 no bounding | SwInE Z3 no prime | SwInE Z3 no induction | SwInE Z3 no interpolation | SwInE Z3 no phasing |
| chc-LIA-Lin_111.smt2_0.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | sat (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.smt2 | unsat (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.smt2 | unsat (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.smt2 | sat (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) |