| /dports/math/cvc4/CVC4-1.7/test/regress/regress4/ |
| H A D | bug143.smt | 283 :extrapreds ((x197))
865 …( implies ( and ( not x195 ) ( and ( not x196 ) ( and x197 ( and x198 ( and x199 ( and x200 true )…
881 …( implies ( and ( not x195 ) ( and x196 ( and x197 ( and x198 ( and x199 ( and x200 true ) ) ) ) )…
897 …( implies ( and x195 ( and ( not x196 ) ( and x197 ( and x198 ( and x199 ( and x200 true ) ) ) ) )…
905 …( implies ( and x195 ( and x196 ( and ( not x197 ) ( and x198 ( and x199 ( and x200 true ) ) ) ) )…
909 …( implies ( and x195 ( and x196 ( and x197 ( and ( not x198 ) ( and x199 ( and x200 true ) ) ) ) )…
911 …( implies ( and x195 ( and x196 ( and x197 ( and x198 ( and ( not x199 ) ( and x200 true ) ) ) ) )…
912 …( implies ( and x195 ( and x196 ( and x197 ( and x198 ( and x199 ( and ( not x200 ) true ) ) ) ) )…
913 …( implies ( and x195 ( and x196 ( and x197 ( and x198 ( and x199 ( and x200 true ) ) ) ) ) ) ( = t…
1384 ( implies ( and ( not x197 ) true ) ( = tmp21 0 ) )
[all …]
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress0/arith/ |
| H A D | miplib-pp08a-3000.smt | 286 :extrapreds ((x197))
868 …( implies ( and ( not x195 ) ( and ( not x196 ) ( and x197 ( and x198 ( and x199 ( and x200 true )…
884 …( implies ( and ( not x195 ) ( and x196 ( and x197 ( and x198 ( and x199 ( and x200 true ) ) ) ) )…
900 …( implies ( and x195 ( and ( not x196 ) ( and x197 ( and x198 ( and x199 ( and x200 true ) ) ) ) )…
908 …( implies ( and x195 ( and x196 ( and ( not x197 ) ( and x198 ( and x199 ( and x200 true ) ) ) ) )…
912 …( implies ( and x195 ( and x196 ( and x197 ( and ( not x198 ) ( and x199 ( and x200 true ) ) ) ) )…
914 …( implies ( and x195 ( and x196 ( and x197 ( and x198 ( and ( not x199 ) ( and x200 true ) ) ) ) )…
915 …( implies ( and x195 ( and x196 ( and x197 ( and x198 ( and x199 ( and ( not x200 ) true ) ) ) ) )…
916 …( implies ( and x195 ( and x196 ( and x197 ( and x198 ( and x199 ( and x200 true ) ) ) ) ) ) ( = t…
1387 ( implies ( and ( not x197 ) true ) ( = tmp21 0 ) )
[all …]
|
| /dports/math/py-mip/mip-1.13.0/test/data/ |
| H A D | 2050_3_7.lp | 21 …0 -0.10000 x191 -0.10000 x192 -0.10000 x193 -0.10000 x195 -0.10000 x196 -0.10000 x197 -0.10000 x198
35 cons2: x2 + x17 + x27 + x159 + x197 + x215 + x227 + x247 + x263 + x285
257 cons207: x194 - x197 >= -0
751 cons701: x197 + x199 <= 1
752 cons702: x197 + x200 <= 1
753 cons703: x197 + x201 <= 1
754 cons704: x197 + x202 <= 1
755 cons705: x197 + x203 <= 1
756 cons706: x197 + x205 <= 1
1183 0 <= x197 <= 1
[all …]
|
| H A D | 1443_0-9.lp | 58 cons24: x28 + x48 + x62 + x93 + x117 + x149 + x165 + x188 + x197 <= 1
234 cons199: x197 - x198 >= -0
235 cons200: x197 - x199 >= -0
236 cons201: x197 - x200 >= -0
237 cons202: x197 - x201 >= -0
724 …x192 + 0.50000 x193 + 0.50000 x194 + 0.50000 x195 + 0.50000 x196 -0.57143 x197 + 0.50000 x198 + 0.…
928 0 <= x197 <= 1
975 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199
|
| /dports/multimedia/libv4l/linux-5.13-rc2/Documentation/devicetree/bindings/iio/adc/ |
| H A D | qcom,pm8018-adc.yaml | 27 ADC base address in the PMIC, typically 0x197.
125 reg = <0x197>;
|
| /dports/multimedia/v4l-utils/linux-5.13-rc2/Documentation/devicetree/bindings/iio/adc/ |
| H A D | qcom,pm8018-adc.yaml | 27 ADC base address in the PMIC, typically 0x197.
125 reg = <0x197>;
|
| /dports/multimedia/v4l_compat/linux-5.13-rc2/Documentation/devicetree/bindings/iio/adc/ |
| H A D | qcom,pm8018-adc.yaml | 27 ADC base address in the PMIC, typically 0x197.
125 reg = <0x197>;
|
| /dports/lang/gcc6-aux/gcc-6-20180516/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 213 var x197 [10<<20]byte; z = x197
|
| /dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 213 var x197 [10<<20]byte; z = x197
|
| /dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 213 var x197 [10<<20]byte; z = x197
|
| /dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 213 var x197 [10<<20]byte; z = x197
|
| /dports/lang/go-devel/go-becaeea1199b875bc24800fa88f2f4fea119bf78/test/fixedbugs/ |
| H A D | bug385_64.go | 213 var x197 [10<<20]byte; z = x197
|
| /dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 213 var x197 [10<<20]byte; z = x197
|
| /dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 213 var x197 [10<<20]byte; z = x197
|
| /dports/lang/gcc9-devel/gcc-9-20211007/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 213 var x197 [10<<20]byte; z = x197
|
| /dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 213 var x197 [10<<20]byte; z = x197
|
| /dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 213 var x197 [10<<20]byte; z = x197
|
| /dports/lang/gcc9-aux/gcc-9.1.0/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 213 var x197 [10<<20]byte; z = x197
|
| /dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 213 var x197 [10<<20]byte; z = x197
|
| /dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 213 var x197 [10<<20]byte; z = x197
|
| /dports/lang/gnat_util/gcc-6-20180516/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 213 var x197 [10<<20]byte; z = x197
|
| /dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 213 var x197 [10<<20]byte; z = x197
|
| /dports/devel/riscv64-gcc/gcc-8.3.0/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 213 var x197 [10<<20]byte; z = x197
|
| /dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 213 var x197 [10<<20]byte; z = x197
|
| /dports/lang/gcc10-devel/gcc-10-20211008/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 213 var x197 [10<<20]byte; z = x197
|